My personal web pages moved to http://www.labri.fr/perso/guenneba/