Biblioteca del  Real Monasterio de San Lorenzo de El Escorial.