« Irenses » (par P. , 1766), dans , et al., Glossarium mediae et infimae latinitatis, éd. augm., Niort : L. Favre, 1883‑1887, t. 4, col. 426c. http://ducange.enc.sorbonne.fr/IRENSES
IRENSES, Hiberni, apud Order. Vital. lib. 11. et 12. nostris Irois. A voce
Hiere vel Ire, ut vult Diction. Trevolt. quæ iis populis Occidentem sonat.
Pactum ann. 1434. in Reg. 175. Chartoph. reg. ch. 313 :
Anglois, Irois et Galois, et semblablement tous Gascons, Escossois et Alemens, etc.Lit. remiss. ann. 1434. ibid. ch. 358 :
Les Galois, Anglois, Yrois et Escossois, etc.Vide Erigena.