My webpage has moved: <a href="http://www.lix.polytechnique.fr/~renaud">here</a>