Calcul littéral - 1:Base - d: (Double) distributivité [env. 6']