École normale supérieure de Lyon
AriC Team
46 Allée d'Italie
69007 Lyon
E-mail: alain.passelegue [at] inria [dot] fr