Aposentação/jubilação do juiz conselheiro do Supremo Tribunal de Justiça, Mário António Mendes Serrano.