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