Piscine Bertrix, piscine : horaires, téléphone