Nom Herbelin Prénom Hugo Téléphone 01 57 27 90 87 Bureau 3029 Mail Hugo.Herbelin@irif.fr Page web http://pauillac.inria.fr/~herbelin