España sale vencedora de la batalla de Roncesvalles.