Exprime une décision lorsque des conditions de garde sont utilisées pour indiquer différentes transitions possibles qui dépendent ...