Raisonnement par récurrence ex 1-2-8  - raisonnement par récurrence pour justifier une forme explicite ex 1-2-9 - algorithme - calculs des termes d'une suite définie par une relation de récurrence - raisonnement par récurrence pour justifier une forme explicite