Agenjo, Xavier, Biblioteca Nacional, España