-
Ildefons, von Arx
→ Arx, Ildefons von (1755-1833) Librarian -
Ildefonse, d'Arx
→ Arx, Ildefons von (1755-1833) Librarian -
Ildefonso, di Arx
→ Arx, Ildefons von (1755-1833) Librarian -
Ioannes, de Lapide
→ Heynlin, Johannes (ca. 1432-1496) Librarian