Nom Petri Prénom Gustavo Téléphone 01 57 27 94 01 Bureau 4021 Mail Gustavo.Petri@irif.fr Page web http://gpetri.github.io/