Isolation mur en sable de mer

Bonjour tout le monde. Je vais essayer de faire court. La maison à rénover est sur terrain argileux, en Bretagne sud, elle est vieille. Les murs extérieurs sont en pierres de toute sorte jointes avec une sorte de mortier au sable de mer avec des coquillages en prime. Une dalle neuve isolée va être faite à l'intérieur sur un drainage. Un drainage extérieur va être fait aussi. Les murs sont évidemment humides. Pour l'isolation, j'avais penser isoler par l'intérieur en laissant 5 cm d'air entre les pierres et la laine de verre, histoire que les murs soient ventilés dedans et dehors. Le maçon me dit qu'une isolation extérieure avec laine de roche serait bien et laisserait respirer le mur, j'économiserais l'épaisseur de l'isolant à l'intérieur. Votre avis??? Moi je sais plus.