Qu'est-ce qu'une vanne de dérivation de robinet ?