À Toulon, le bassin extérieur fermé à la piscine du Port Marchand