Exercice 5.4
Didier Müller, 18.3.11