décrépissage d’un mur en pierre en vue de réaliser le jointoiement