Benjamin Smith Chercheur, Inria Contact information Email smith lix.polytechnique.fr Web page http://www.lix.polytechnique.fr/Labo/Benjamin.Smith