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