Biblioteca del Real monasterio, SAN LORENZO DE EL ESCORIAL