démonstration par récurrence