Cours MPES, Logique Temporelle, (Vidéo 3)