Formule de distributivité