important method for Transition
operator for Etat