Demissão do empregado público.