Madrid (Spain). Real biblioteca del escorial