Title: Vers une logique du temps sémantique