Com a aposentadoria de ministro, Lula poderá fazer uma nova indicação para compor os 11 ministros da Corte