raisonnement par rcurrence