Les entrainements piscine

A quelle heure doit-on avoir quitté l'enceinte de la piscine ?