L'informatique du temps et des événements

Parler du temps, mais de manière formelle (2/2)