Un petit mot pour dire que le nom authentique gascon du rocher est un vieux terme tiré du fonds pré-indo-européen puisqu’on identifie la racine *cuk, que l’on trouve dans Cuqueron en Béarn mais aussi dans les nombreux Cuquemont, Montcuq, Cucuron, ... jusqu’en Sardaigne en fait. Rien à en tirer (…)