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