Cessação de funções por motivo de aposentação de Maria Armanda Gil Dias dos Reis, em regime de contrato de trabalho em funções públicas por tempo indeterminado