My web page has moved to http://www-polsys.lip6.fr/~berthomieu/.