raisonnement par induction-présomption