ancienne abbaye adossée à la basilique