3.calcul littéral.double distributivité