Nom Ramos-Vaz Prénom Daniel Téléphone Bureau 4053 Mail Daniel.Ramos-Vaz@irif.fr Page web https://www.irif.fr/~vaz/