Distributivité simple