Charlemagne in Spain. The cultural legacy of Roncesvalles.