Restituição do indébito via precatório decorrente de mandado de segurança