Exercice n°
4
: Distributivité double (découverte)