Rénovation d'un mur en pierre

Bonjour !
Au cours de la rénovation de notre maison en Provence, nous avons découvert que le mur de pignon était en pierres. Ce mur avait été décrouté   par les anciens propriétairse puis doublé par une paroie en brique rouge. Nous avons enlevé toute la paroie et nous commençons à creuser les joints qui sont en terre afin de les refaire.
Pour cela, on nous a conseillé le batichaux et sable vaugine.
Cependant, les pierres sont abîmées et nous aimerions leur redonner un peu d'allure. La plupart des pierres sont en calcaire mais il y a aussi des galets (proximité de la Durance...).[img]no[/img]






Si quelqu'un y connaît quelque chose et peut nous éclairer sur les outils et produits que l'on peut utiliser, toute aide sera la bienvenue !