Neuf exercices de difficulté graduée sur la notion de preuve par récurrence.