This page has moved to
http://www.lix.polytechnique.fr/~puech/