Raisonner à propos du temps en logique de séparation