Les bassins anciens ont été réhabilités, pour notre plus grand plaisir, lors d'une réparation dans les bains modernes -que nous aimons moins-