Basilique Saint-Sernin, Toulouse, France