Nom Krivine Prénom Jean Téléphone 01 57 27 94 41 Bureau 4027 Mail Jean.Krivine@irif.fr Page web https://www.irif.fr/~jkrivine