1 Chapitre 5 SDL et MSC w3.uqo.ca/luigi. 2 Modèles à états étendus Nous avons décrit plusieurs méthodes de description de protocoles, mais nous avons.
