El héroe francés Roldán, comandante de Carlomagno, se enzarzó en combate con un jefe moro y, ensimismados en el duelo, acabaron frente a frente en la cima de esta montaña.