Guérin François
INRIA, France