Distributivité double (niveau 1)