TD 3. Analyse temporelle des systèmes