This page is now at http://www.loria.fr/~thome/index.html