Calcul littéral ; distributivité.