Dremel !!! ou équivalent.
Il existe des meules diamantées de forme sphérique, diamètre 12mm. Pour l'intérieur.
Et des disques, toujours diamantés, pour l'extérieur.
Avec les deux on arrive même à faire des emporte-pièces sur-mesure. Par exemple 11,7mm à partir d'emporte-pièces prévus pour 11mm.
Perso, j'utilise des outils chinois pour ce genre d'usage. C'est largement suffisant.
Par exemple :
https://www.banggood.com/fr/6pcs-Round- ... mds=searchhttps://www.banggood.com/fr/26-Size-Lea ... s=categoryBanggood : site de vente à l'organisation me...ique : le classement est "bizarre", les descriptions folklos. Les délais sont assez longs et variables (1 à 3 semaines). L'emballage est minimum.
Mais les prix sont très intéressants, nets, port inclus (hors rares exceptions, signalées), et j'ai toujours reçu ce que j'ai commandé.
Je n'ai aucune action ni intérêt sur ce site, et ne me maudissez pas si vous passez quelques heures à chercher une pièce parmi les quelques milliers (ou plus ?) proposées dessus. Il y a vraiment de tout !