This page has been moved to https://www-apr.lip6.fr/~baste/.