Nom Nigron Prénom Pierre Téléphone Bureau 3033 Mail Pierre.Nigron@irif.fr Page web https://www.irif.fr/~nigron/