Exercice: L'équivalence des deux propositions