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