Luc S
EGOUFIN
Département Informatique
ENS Ulm
45 rue d'Ulm
F-75005 Paris
(France)
E-mail:
firstname.lastname@inria.fr
Homepage:
https://who.rocq.inria.fr/Luc.Segoufin/