Origine et histoire de la Cathédrale Saint-Antonin
Originellement dédiée à saint Jean Baptiste et saint Jean l'évangéliste, l'église fut appelée Sainte-Marie du Mercadal (c'est-à-dire « du marché ») en 1384, avant d'être élevée au rang de cathédrale en 1499. L'édifice est aujourd'hui dédié à saint Antonin...
Source Wikipédia, que vous pouvez consulter ci-dessous.