Nom Gaucher Prénom Philippe Téléphone 01 57 27 92 55 Bureau 3049 Mail Philippe.Gaucher@irif.fr Page web https://www.irif.fr/~gaucher