Isolation intérieur ou extérieur?

Bonjour a toute et à tous,

Nous venons d'acheter une vielle maison qui n'as pas été chauffer durant tout l'hiver (depuis octobre/novembre), les murs sont abîmé (salpêtre et humidité), j'ai déjà régler quelque souci, du genre virer le balatum qui empêché la tomette de respiré.

Cependant avant que l'hiver arrive nous souhaiterions isoler au mieux la maison, mur en pierre de 60 à 80 cm environ, en intérieur l'enduit béton s’effrite (à cause de l'humidité qui sais installé), à l'extérieur il y a un appenti en tole et une buté de terre à 3m de distance du mur retenu par des rondins qui on juste envie de prendre la fuite 😑 .

J'ai déjà commencer a gratter les murs pour virer l'odeur d'humidité ainsi que les traces.

Maintenant que les détails sont posé (espérant ne pas en avoir oublier)
Quel isolation choisir? intérieur ou extérieur? en sachant que nous avons un faible pour un mur en pierre apparent (au pire le parment existe)

Merci par avance

Cordialement