Règles de synchronisation,
NB: Si un acteurexterne intervient, onse contentera dereprésenter lesévénementsseulement car sonprocessus ne nousintéresse pas.
NB: Si un acteurexterne intervient, onse contentera dereprésenter lesévénementsseulement car sonprocessus ne nousintéresse pas.