Raisonnement temporel indécidable: quels mécanismes?