Stéphane Huet

IRISA, Université de Rennes 1