Martínez Olmo, María del Pilar, Biblioteca Tomás Navarro Tomás, CCHS, CSIC, España