2 résultats : démonstration par récurrence