This page has moved to URL http://www-sop.inria.fr/certilab/Joelle.Despeyroux/