Nomeação de António José Pereira Pais Martins como chefe de serviço de anestesiologia da carreira médica hospitalar