« »
 
[]« Irenses » (par P. Carpentier, 1766), dans du Cange, 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.