Voilà, le robinet est réparé (ça a été rapide, je suis juste parti en vacances entre temps ) !
Pas de fuite en vue après une nuit (j'ai toujours un peu peur quand je fais de la plomberie), et le robinet ne coule plus du tout.
Bilan : 1 étau à 32€ (mais ça ne compte pas vraiment) et une tête de robinet à 52€.