Considere a hipótese de servidor público estável que é demitido, após procedimento administrativo, e tem a demissão anulada por decisão judicial. Qual é a forma de provimento do cargo público nesse caso?