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