Nom Jaquard Prénom Arthur Téléphone Bureau 3044 Mail ajaquard@irif.fr Page web https://www.irif.fr/~ajaquard/