Distributivité double (niveau 2)