Questa pagina é stata spostata a http://www.inria.fr/sophia/marelle/Laurent.Thery/formal/index.html