La démonstration par récurrence