de Sousa, António Miguel Lopes, Instituto do Patrimônio Histórico e Artístico Nacional