La Lotharingie, qui fut un royaume et un duché, fut partagée en 939 en Haute- et Basse-Lotharingie. Article détaillé : Lotharingie.