Développements - Cours (FR) (part 6: prouver une propriété à l'aide du calcul littéral)