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