PROCESSUAL CIVIL E TRIBUTÁRIO. MANDADO DE SEGURANÇA. RESTITUIÇÃO ADMINISTRATIVA DE INDÉBITO RECONHECIDO JUDICIALMENTE. POSSIBILIDADE. 1. O acórdão recorrido concedeu a segurança para reconhecer a não incidência do IRPF sobre a alienação de determinadas participações societárias, considerando que incide a isenção estabelecida pelo Decreto-lei 1.510/1976, mas indeferiu restituição do tributo pago na venda de ações realizadas em 2004, por entender inadequada a via mandamental para essa finalidade, por incidência da Súmula 269/STF ("o mandado de segurança não é substitutivo de ação de cobrança"). Deferiu, porém, o pedido subsidiário de compensação. O Recurso Especial versa apenas sobre a pretensão do contribuinte de poder formular pedido administrativo de restituição do indébito reconhecido. 2. Não se configura a ofensa ao art. 535 do CPC/1973, uma vez que o Tribunal de origem julgou integralmente a lide e solucionou a controvérsia, tal como lhe foi apresentada. 3. Se a pretensão manifestada na via mandamental fosse a condenação da Fazenda Nacional à restituição de tributo indevidamente pago no passado, viabilizando o posterior recebimento desse valor pela via do precatório, o Mandado de Segurança estaria sendo sendo utilizado como substitutivo da Ação de Cobrança, o que não se admite, conforme entendimento cristalizado na Súmula 269/STF. Todavia, não é o caso dos autos. O contribuinte pediu apenas para que, reconhecida a incidência indevida do IRPF, ele pudesse se dirigir à autoridade da Receita Federal do Brasil e apresentar pedido administrativo de restituição. Essa pretensão encontra amparo no art. 165 do Código Tributário Nacional, art. 66 da Lei 8.383/1991 e art. 74 da Lei 9.430/1996. 4. O art. 66 da Lei 8.383/1991, que trata da compensação na hipótese de pagamento indevido ou a maior, em seu § 2º, faculta ao contribuinte a opção pelo pedido de restituição, tendo o art. 74 da Lei 9.430/1996 deixado claro que o crédito pode ter origem judicial, desde que com trânsito em julgado. 5. "O entendimento pacífico do Superior Tribunal de Justiça, inclusive já sumulado (Súmula nº 461 do STJ), é no sentido de que 'o contribuinte pode optar por receber, por meio de precatório ou por compensação, o indébito tributário certificado por sentença declaratória transitada em julgado'. Com efeito, a legislação de regência possibilita a restituição administrativa de valores pagos a maior a título de tributos, conforme se verifica dos art. 66 da Lei nº 8.383/1991 e 74 da Lei nº 9.430/1996" (REsp 1.516.961/RS, Rel. Ministro Mauro Campbell Marques, Segunda Turma, DJe 22/03/2016). 6. Recurso Especial provido para assegurar o direito de o contribuinte buscar a restituição do indébito na via administrativa, após o trânsito em julgado do processo judical. (REsp 1642350/SP, Rel. Ministro HERMAN BENJAMIN, SEGUNDA TURMA, julgado em 16/03/2017, DJe 24/04/2017)