Casimiro de Pina formaliza candidatura à presidencia junto do Tribunal Constitucional.