raisonnement par nécessité