Ordre général
Un ordre général permet de spécifier de manière explicite la séquence entre deux occurrences d'événement lorsque celle-ci ne peut pas être déduite par ailleurs.
Traductions
Produits