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