Logique temporelle — Éric Audureau, Patrice Enjalbert, Luis Fariñas del Cerro