Nom Scherer Prénom Gabriel Téléphone Bureau 4032 Mail Gabriel.Scherer@irif.fr Page web http://gallium.inria.fr/~scherer/