Calcul littéral - Cours (part 10: prouver une égalité)