Nom Pin Prénom Jean-Éric Téléphone 01 57 27 92 18 Bureau 4007 Mail Jean-Eric.PIN@irif.fr Page web https://www.irif.fr/~jep/