Mathématiques pour l'informatique - Fabrice Rossi

exercice induction