| Nom | Marc Renault| | Téléphone | 01 57 27 94 10| | Bureau | 4058| | Mail | [[mrenault@irif.fr]]| | Page web | [[https://www.irif.fr/~mrenault/]]|