Adding observateur FSM