Nom Gerard Prénom Romain Téléphone Bureau Mail Romain.Gerard@irif.fr Page web https://www.irif.fr/~rgerard/