Nova publicação, rectificada, do decreto n.º 9385, que extingue várias direcções, organismos e lugares do Instituto de Seguros Sociais Obrigatórios e de Previdência Geral e reduz os quadros do pessoal dos serviços internos e externos do referido Instituto