A croire cette carte de la métropole (https://data-lmm.opendata.arcgis.com/datasets/0682fbc0b8b04a7b82fd9ca4dff14b1b_0/explore?location=47.993231%2C0.195752%2C18.60) et le site même de l'agence, le code postal serait plutôt 72100.