Exercice n°4 : Distributivité double