La porte d'Enfer ou porte Gibard ou porte Saint-Michel est une ancienne porte de ville de Paris. Construite au début du XIIIe siècle sur l'enceinte Philippe Auguste, elle est détruite au XVIIe siècle.
Au XIVe siècle, et antérieurement, elle se nommait « porte Gibart » , et par altération « porte Gilbert » et « porte Gibert » avant de porter le nom de « porte d'Enfer », puisqu'en 1246 elle est désignée par « Hostium ferti » , en 1271 par « Hostium ferri », en 1311 par « Porta inferni » et en 1379 par « Porta ferri ». Jaillot pense de là que l'on devrait dire « Porte de fer ».
À la fin du XIVe siècle elle prit le nom de « porte Saint-Michel », parce qu'elle fut réparée en 1394, époque de la naissance de Michelle, fille de Charles VI.[réf. nécessaire]
La porte Saint-Michel fut démolie en 1684. L'ancienne place Saint-Michel, disparue dans les années 1860 lors du percement du boulevard Saint-Michel, fut aménagée à son emplacement.
Notes et références
↑Jean de La Tynna, Dictionnaire topographique, étymologique et historique des rues de Paris, 1817.