Joris Van Der Hoeven Chercheur, Cnrs Contact information Email vdhoeven lix.polytechnique.fr Web page http://www.lix.polytechnique.fr/~vdhoeven