Navachon se situe dans le bel environnement du "Bas Tosse" non loin des rives de l’Étang Blanc. La toponymie y dénote une occupation ancienne, car a bisto de nas, elle y est basco-aquitanique en un nombre relativement conséquent de micro-toponymes sur quelques hectomètres, ce qui est rare : Audios, Artisson et peut-être Naouas.

J’aimerais dire que Navachon est un petit Naouas avec suffixation diminutive -on, mais le toponyme Naouas ne paraît pas sur les cartes anciennes alors que Navachon est déjà chez Cassini. Ce qui me fait douter du caractère ancien de Naouas (qui serait de même étymologie que le village béarnais de Nabas).

Si Navachon est ancien, et il en a l’apparence, reste à l’élucider. L’on peut penser à un prénom médiéval gascon tiré de Navarre (probable ethnique à l’origine) : Navarrine, Navarret ont été des prénoms, mais l’on comprend mal la structure et la disparition de -rr-.

Il doit alors plutôt s’agir d’un toponyme descriptif sur la base ancienne qui reste mystérieuse "nava" (ce pourrait être une plaine) mais de toute évidence pré-romane : nous en avons discuté par ailleurs.

https://gasconha.com/spip.php?article2958#forum106514

La finale ressemble à ce que l’on sait des attestation anciennes de Bidache (qui est passé par une étape *bidachon < bidaysson), à savoir le basque -aitzun, qu’Orpustan interprète comme un composé de aitz "pierre" + locatif -un (dans Bidache, le premier élément serait bide "chemin"). Mais les lieux sont-ils pierreux localement ? L’étang de Hardy pourrait le laisser penser (racine basco-aquitaine *harri ?)