Designação de Pedro Miguel de Vilhena de Melo Machado no cargo de diretor do Departamento de Proteção contra os Riscos Profissionais.