Fuentes históricas españolas en la Biblioteca del Palacio Nacional de Mafra (Portugal) - Ibot, Antonio (Colección Bibliográfica, 1942)