Nom Batmalle Prénom Hadrien Téléphone Bureau 3044 Mail Hadrien.Batmalle@irif.fr Page web https://www.irif.fr/~batmalle/