Die Quelle dafür ist die Placentinae urbis ac nonnullarum nobilium tum in ea, tum per Italiam familiarum descriptio des Giovanni de'Mussis aus dem späten 14. oder frühen 15. Jahrhundert. Gedruckt bei Lodovico Antonio Muratori: Rerum Italicarum Scriptores, Band 16, Mailand 1730, Sp. 571E: „Et etiam in dicta ecclesia requiescit Lotharius rex Galliae“ (Digitalisat).