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