finite state machine / Machine_a_etat