Daniel Augot Chercheur, Inria Contact information Email augot lix.polytechnique.fr Web page http://www.lix.polytechnique.fr/Labo/Daniel.Augot