Juste mon avis, mais 30 €, même si ça peut paraitre cher dans l'absolu, en se faisant expédier la pièce, le gars y
passe tout de meme quelques minutes, conditionne, etc... Si effectivement le cout du port inclut tout ça, c'est -un peu- cher,
mais c'est une pièce spécifique. 5-10€, c'est sous blister dans un self service, et encore, pour une petite pièce standard.
Celle ci n'est probablement pas si courante, car pas pièce d'usure. A 100€, là oui, ça valait le coup de chercher de l'adaptable.
En tous cas vous avez fait la liste quasi exhaustive de toutes les méthodes, et l'extracteur s'est révélé "un bon coup".
![M. Vert :mrgreen:](./images/smilies/icon_mrgreen.gif)