Mare Vivendi: A now-closed establishment, formerly a swimming pool, with a restaurant component.