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