| Name | Marc Renault|
| Phone | 01 57 27 94 10|
| Office | 4058|
| Mail | [[mrenault@irif.fr]]|
| Homepage | [[https://www.irif.fr/~mrenault/]]|