Bonjour,
Tout dépend aussi de votre profondeur de gorge, si elle fait (par exemple) 1.40 mm, du diamètre 4.00 mm intérieur conviendrait
Si vous n'avez pas, ou ne pouvez pas avoir cette valeur de profondeur, théoriquement, du 3.90 mm de diamètre intérieur devrait être adapté
(il ne faut pas trop de frottement non plus)
Espérant avoir pu vous aider