Distributivité double (découverte)