Em setembro de 2023, _______________ se aposentou após uma magistratura de quase 47 anos. No Supremo Tribunal Federal (STF), atuou por quase 12 anos, presidindo o colegiado em três momentos diferentes nesse período. Assinale a alternativa que preenche corretamente a lacuna do trecho acima.