Catálogo de ex libris de bibliotecas españolas en la Biblioteca Nacional