A priori oui c'est bien le code postal mais des erreurs sont possibles dans la base.

A toi le monde de l'open Data ... https://www.data.gouv.fr/fr/datasets/base-officielle-des-codes-postaux/

En fait apparemment un simple XLSX pour les données. Après pour mettre à jour automatiquement j'ai pas encore vu comment faire.

Il me semble qu'il y a 2 préfixes IPV6 incomplets...

2a01:e0a:c::  =>  il existe C:0xxx C:Exxx et C:Cxxx

2a01:e0a:9:: => 9:0xxx , 9:2xxx , 9:4xxx , 9:6xxx , 9:8xxx , 9:9xxx , 9:Axxx , 9:Cxxx , 9:Exxx

Il faut couper l'adresse 3 caractères avant les "::"

en sachant que les 0 s'abrègent, 2a01:e0a:c:: peut très bien être le premier préfixe découpé 

C'est tout à fait ça.

slt je viens de mettre le mans

OK ... cette page est référencée

Je note toutefois un pb dans le masque de @ ip
par exemple    2a01:e0a:c:: est    2a01:e0a:c:0xxx::
le 0 a disparu.
j'avais rencontré ce pb. Si besoin de peux passer les lignes correspndantes.

Mais non ! C'est la notation standard en IPv6