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