Real Biblioteca del Monasterio, SAN LORENZO DE EL ESCORIAL