« »
 
[]« 3 infernum » (par P. Carpentier, 1766), dans du Cange, et al., Glossarium mediae et infimae latinitatis, éd. augm., Niort : L. Favre, 1883‑1887, t. 4, col. 353b. http://ducange.enc.sorbonne.fr/INFERNUM3
3. INFERNUM, Parisiis nomen portæ, quæ nunc S. Michaelis appellatur. Vide supra Fertum 4.