?

Patrick
Richard

Université Rennes 1
(Options)

Jean-François
Métayer

Okinawa Institute of Science and Technology (OIST)

Patrick RichardX