O servidor público titular de cargo efetivo de determinada autarquia federal que passe a exercer mandato de deputado estadual