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