Vanne de dérivation pour robinet