Al menos hasta el año 1130, los reyes se denominaban "Pampilonensium rex".