real biblioteca del monasterio, SAN LORENZO DE EL ESCORIAL