Je pense avoir trouvé d'où vient le problème. À proximité il y a le collège Bernart de Ventadour d'on l'adresse est renseigné avec un code postal 87039. Ce code postal semble être un code CEDEX car on trouve l'adresse du colège avec et sans l'info CEDEX sur internet.
J'ai donc modifié le code postal du collège pour 87000 et mit le 87039 dans contact:postcode plus adapté pour un code CEDEX.
Il faut maintenant attendre une mise à jour de nominatim pour tester.