O dr. Fragoso de Lima e o «Instituto de Estudos Portugueses» de Santiago de Compostela. See original record