Raisonnement par récurrence simple