Exercice suivant : rédiger
les démonstrations.
Document réalisé
par Isabelle Gautier protégé par la licence LLDL-v1, Licence de
Libre Diffusion des Documents, http://pauillac.inria.fr/~lang/licence/v1/lldd.html
. Vous pouvez librement utiliser, modifier et diffuser ce document mais uniquement
à titre gratuit.