Séance 1: Calcul littéral