My web page has moved to http://www.lix.polytechnique.fr/Labo/Dale.Miller/.