Exercice 5.11.