Nom Lanvin Prénom Victor Téléphone 01 57 27 92 22 Bureau 3035 Mail Victor.Lanvin@irif.fr Page web http://www.dptinfo.ens-cachan.fr/~vlanvin/