en que batalla se inspira el cantar de roldán