Re, Jean Pierre !
Je suis désolée, j'ai mis du temps à te répondre. Mais c'est que nous avons mis du temps à trouver l'emplacement exact de la fuite. Nous étions quasiment sûrs que ce n'était pas la coque, et en effet ce n'était pas ça. C'était derrière le raccord de la prise balai, sur la canalisation.
Nous avons réparé ça simplement avec du silicone spécial piscines. Nous savons que la réparation ne tiendra pas éternellement, mais nous avons opté pour ça par manque de temps. Quand la fuite se re-présentera, nous changerons le raccord dans sa totalité

Au final, je n'ai donc pas fait venir un réparateur de piscines. Tout le monde m'en a découragée autour de moi : "faire venir un réparateur de confiance ? en plein été ? mais si tu l'appelles maintenant, il viendra en novembre !"
Problème résolu, donc, merci de t'en être préoccupé - et si un forumeur a besoin de conseils sur sa piscine, peut-être que je peux l'aider, maintenant que j'ai fourré mon nez dans les raccords et autres tuyaux !