Exercice n°5 : Exercices de démonstrations