Avec quoi badigeonner des murs en pierre ?

Bonjour à tous et toutes, J'ai une pièce semi-enterrée dans ma maison dont les murs étaient recouverts de placo et de polystyrène aux fins d'isolation par l'ancien proporio. J'ai tout viré pour faire réapparaître la pierre et laisser respirer les murs. A près avoir nettoyé toutes les pierres au disque abrasif (et dégagé des tonnes de poussière au passage), les murs sont maintenant nickels. Je pensais badigeonner les pierres pour éviter les poussières inévitables avec le temps et les raviver. Tout en laissant respirer la pierre... J'ai entendu dire que l'huile de lin faisait des merveilles. Mais à ma connaissance c'est plutôt fait pour le bois, non ? Et je me demande si celle-ci laissera respirer les murs ? Connaissez-vous d'autres huiles ou produits naturels à badigeonner sur les murs ? D'avance merci de vos conseils ! Et bonne année à tous les bricoleurs ! :-)