Nom Viennot Prénom Laurent Téléphone 01 57 27 92 50 Bureau 3042a Mail Laurent.Viennot@irif.fr Page web https://who.rocq.inria.fr/Laurent.Viennot/