Nom Choffrut Prénom Christian Téléphone 01 57 27 94 45 Bureau 4007 Mail Christian.Choffrut@irif.fr Page web https://www.irif.fr/~cc/