this page is now obsolete, please view the page at the URL http://www-sop.inria.fr/lemme/Yves.Bertot