ecriture FSM