A reinvestidura do servidor público efetivo em cargo que ocupava anteriormente, após a invalidação de sua demissão, por decisão judicial, denomina-se: