Nom Marcio Diaz Téléphone 01 57 27 92 27 Bureau 4052 Mail diaz@irif.fr Page web https://www.irif.fr/~diaz