Basilique Saint Sernin © Rémi Deligeon