Nom Krivine Prénom Jean-Louis Téléphone 01 57 27 92 39 Bureau 3008 Mail Jean-Louis.Krivine@irif.fr Page web https://www.irif.fr/~krivine