A defesa do ex-presidente apresentou os chamados embargos infringentes, embora a jurisprudência do STF sinalize rejeição