Joint particulier

Bonsoir,
J'ai découvert une petite fuite après le robinet d'arrêt d'un WC.
L'installation date de 25 ans mais est en bon état. J'ai démonté le tube qui relie le robinet au réservoir. Côté réservoir, le joint est classique. Côté robinet (cf photos), le joint est particulier, tout au moins pour moi et pour la grande surface de bricolage où je suis allé.
Pour compléter la photo, les dimensions du joint :
hauteur 14 mm + 2 pour la partie métallique
diamètre extérieur 14 mm environ
diamètre intérieur 10 mm environ
Si quelqu'un connaît le nom de ce type de joint et où se le procurer, je le remercie d'avance.
Cordialement