Ваксман пишет:
цитата: |
область названа по Лотар(и)ю в 9 веке |
|
Более точно, при разделе императором Лотарем I своих земель в 855 г. между тремя его сыновьями средний сын Лотарь II получил владения между Рейном, Шельдой, Соной и Маасом, названные «Lotharii regnum».
Лотарингия распалась в 959 г. на Верхнюю (Lotharingia Mosellana) и Нижнюю (Lotharingia Mosana) Лотарингию. Когда в XII в. Нижняя Лотарингия стала Брабантом, Верхняя стала называться просто Лотарингией.
Получается, что это более позднее название: оно начало использоваться с X-XII вв.