Nom Julien Lopez Téléphone Bureau 3035 Mail jlopez@pps.univ-paris-diderot.fr Page web https://www.irif.univ-paris-diderot.fr/~jlopez/