[PDF] III- Raisonnement par récurrence