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