Charlemagne, les Basques, et les "ennemis" de Dieu