Exercice n5 : Démontrer pour déduire une particularité