Bonjour,
Dans ma cour j'ai un petit local ou l'ancien propriétaire a refait le toit, ça tient la route mais j'ai quand même un artisan qui va faire les finitions correctement.
Ma question concerne une partie entre la charpente et le toit, qui est en pierre brute. (voir photos)


Dois je la traiter de l’intérieur ou laisser la pierre comme c'est ? (sachant que je refais l'isolation sous la charpente).
Merci