Il faut adapter une scie cloche avec les dents revêtues de diamant, qui va attaquer la pierre.
Ça existe pour le bois pour faire des trous ronds, et aussi avec un revêtement spécial pour la pierre.
Donc allez acheter cet ustensile dans une bonne surface de bricolage, mais il doit coûter cher, vous pouvez peut-être le louer ou vous le faire prêter si ce n'est que pour un seul trou.
Vous pouvez également dessiner sur votre mur le trou au crayon diamètre 10cm fait avec un verre ou un morceau de gouttière diamètre 10 cm et avec une perceuse et un bon foret pierre, faire des trous sur votre dessin et ensuite quand vous aurez fait tous les trous sur le dessin avec une petite masse et une pointe casser la partie qui reste entre les trous, comme un pointillé ensuite avec une bonne lime vous râpez les aspérités et vous aurez un trou de 10cm et rond.
si votre mur est très épais, vous pouvez faire la même opération du côté extérieur et les deux trous doivent se rejoindre alors bien repérer le centre du trou de 10 cm et forer autour.
Si vous n'avez pas de perceuse, vous pouvez casser doucement le tour de votre trou rond en frappant sur un pic en fer avec une masse tout en suivant le tracé, ça prendra plus de temps, mais vous pouvez y arriver aussi.
Bon courage,