for e in tree.findall('.//mapZone'):
for tz in e.get('type').split():
microsoft_timezones[tz] = e.get('other')
+# cas particuliers… (merci Microsoft, encore)
+microsoft_timezones['Asia/Ho_Chi_Minh'] = microsoft_timezones['Asia/Saigon']
implantations = {
x['id']: x for x in aufrefer.get('datamaster-implantation.json')