Pour boucher les trous dans la pierre

Prenez du silicate de potasse et du ciment, ajoutez-y un tiers de sable de rivière. Introduisez la pâte molle, issue de ce mélange, dans les cavités de la pierre. Avant de faire cette opération, vous aurez soin d'humecter un peu les endroits à réparer avec du silicate de potasse.