Outils pour resserrer les trous. Ces outils sont très utiles dans certains cas pour éviter le remplacement d'une pierre encore en bon état, mais ne tenant plus suffisamment dans son logement.