StateMachine - WFR6 - Si une machine à états décrit une caractéristique comportementale, elle ne contient aucun déclencheur ...