Fontes ligadas ao governo afirmam que Lula já bateu o martelo sobre quem irá indicar ao STF; presidente deve oficializar a escolha de Jorge Messias nos próximos dias