| Name | Mathieu Laurière|
| Phone | |
| Office | |
| Mail | [[lauriere@irif.fr]]|
| Homepage | [[https://www.irif.fr/~lauriere/]]|