Bonsoir,
Merci pour votre réponse.
Heureusement, on ne le voit pas sur la photo, mais il y a un robinet rouge d"'arrivée d'eau un peu plus au dessus.
Il n'y a donc pas de problème pour couper le "courant".

Donc, changer le petit robinet, d'accord.
Pour la fuite de départ, enfin, celle qui fait agir le flotteur, faut-il chercher dedans ou en dessous (voir photo) ?
Merci.