Judicial. Servidor público. Ação judicial. Subsídios para contestação. Restituição de Imposto de Renda Retido na Fonte – IRRF. Isenção dos proventos de aposentadoria aos portadores de doença grave. Termo inicial da isenção. Repetição de indébito. Considerações.