Nom
Ruppert
Prénom
Eric
Téléphone
Bureau
4054
Mail
Eric.Ruppert@irif.fr
Page web
https://www.irif.fr/~ruppert/