raisonnement par récurrence Terminale