Exercice suivant : rédiger
les démonstrations.
Sujet de
Nicole Duvert, exercice
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.