Exercice de brevet Pondichéry 2014. Utiliser le calcul littéral pour montrer que le résultat d'un programme de calcul vérifie une propriété.