1 Diagramme d’états-transitions State machine diagram Introduction au formalisme État Événement Transition Point de choix États composites.