Le capteur fautif, probablement celui d'origine, portait le n° de pièce WABCO 4410326390. C'est un modèle "press-fit" non vissé à l'étrier.
Le catalogue WABCO en ligne mentionne qu'il a été remplacé par le n° 4410327050. Ce n° correspond à la pièce VW n° 893927803 selon le même catalogue
C'est sur cette base que j'ai commandé ce capteur :
https://www.befr.ebay.be/itm/393100307401
Au niveau de la tête du capteur, il est fonctionnellement identique, même si la tête en plastique est de forme différente. C'est également le bon connecteur 2-pin. Par cotre, les différents points de fixations (caoutchouc à insérer) ne sont pas nécessairement aux mêmes endroits, ce qui n'empêche pas son bon positionnement. Et le capteur ne venait pas avec la cage de fixation métallique d'insertion, ni la graisse prévue. Mais j'ai utilisé la cage qui était dans le trou sans souci. 4
Et je confirme, plus de souci d'ABS depuis lors.