A condenação do ex-presidente é tão certa que a Procuradoria Geral da República acaba de anunciar como será seu julgamento no Supremo