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