Eau entre liner et Bassin

Bonsoir à tous,

J’ai commis une erreur hier en laissant allumé toute la nuit le tuyau d’eau dans la piscine.
Résultat au matin, j’ai énormément d’eau qui s’est infiltrée entre liner et le bassin.
Je vais bien entendu faire venir mon installateur pour qu’il essaye de reparer cela.
Pensez vous qu’il faille vidanger le bassin ou est il possible de vider l’eau entre liner/bassin d’une autre façon.
Je précise que j ai bien un puit de décompression mais qui etait vide cet après-midi.
Merci par avance pour votre aide.
Joss