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