Após o anúncio de aposentadoria de Luís Roberto Barroso, Lula terá de indicar novo nome para compor a Suprema Corte