Le nom correct est celui inscrit par Stereo. J'ai supprimé mon ajout erroné après avoir été sur place.

Le problème concret vient de l'interface de l'éditeur ID qui ne place pas la clé "housename" dans les champs d'adresse : on ne la voit qu'en demandant "tous les tags".

Merci pour vos remarques.

Oui, c'est une bonne idée : je n'avais pas remarqué cette clé !

Pensez-vous qu'il faudrait que je revienne sur tous les noms que j'ai
donnés avec la clé "name" de "building" ? J'en ai mis des quantités sur
Villefranche... et je ne sais pas écrire les scripts d'automatisation.