Test - Démonstration par récurrence