---- datatemplateentry ----
template: templates:user
classe: personne
login: levy
nom: Lévy
prenom: Jean-Jacques
telephone: 01 57 27 92 68
bureau: 3009
mail: jean-jacques.levy@inria.fr
pageweb: http://jeanjacqueslevy.net
poles: pps
equipes: systemes,preuves,picube
statut: Directeur.rice de recherche émérite - INRIA
annuaire: oui
----