modif fsm