No capítulo 15 de Vita Karoli Magni atópase o seguinte parágrafo: «Quibus regnum Francorum (...) ampliavit, (...) Nam cum prius non amplius quam ea pars Galliae, quae inter Rhenum et Ligerem oceanumque ac mare Balearicum iacet, et pars Germaniae, (...) ipse per bella memorata primo Aquitaniam et Wasconiam totumque Pyrinei montis iugum et usque ad Hiberum amnem, qui apud Navarros ortus et fertilissimos Hispaniae agros secans sub Dertosae civitatis moenia Balearico mari miscetur; deinde Italiam totam».
