La "Canción de Roldán" por ejemplo, relata la batalla de Roncesvalles en la época en que Carlomagno acababa de expulsar a los musulmanes de la Francia meridional.