(...)
Arizkun (723 m). Nombre de significado oscuro. También llamado Arrola 'Cabana de la Peña', 'Cabana de Piedra', en el año 1613. Comentario. Existe en Navarra la localidad llamada Oco sobre la que DEN dice lo siguiente: «Es muy interesante la explicación es la que propone J.B. Orpustan (188), citando a A. Irigoyen, relacionando el nombre con una palabra olka, y variantes de ésta como ouka y oka. Todas ellas serían de origen galo y habrían sido usadas, en latín tardío y latín medieval y de ellas derivan en francés ouche 'tierra buena, húmeda, prado o jardín cercano a casa' y en castellano huelga 'jardín cercano a un curso de agua'. Cita J. Orpustan el nombre de la localidad llamada Occos-Okose, documentada Olcotz en 1249, Oquoz en 1264, Occoz en 1294, Hocoz en 1350 y Ocoz en 1413».
(...)