Um centro de informações para as indústrias da construção civil: o setor de Documentação do Núcleo Orientado para a Industrialização de Edificações (NORIE)