Porte de France 25 mai 2019 dans Archives Porte de France, 19ème siècle, AMS, 1EL/9Il est déjà fait mention d’une porte de France en 1689. Celle-ci construite en 1822, est démolie en 1893 pour faciliter la circulation en ville. Les pierres serviront à la construction de l’étage au-dessus des halles.