Renúncia do juiz conselheiro Mário José de Araújo Torres às funções de juiz do Tribunal Constitucional