Togliere una pittura vecchia dal muro

Buonasera.
Ho preso casa che era di mia nonna e mi sono ritrovato con una stanza tinta di blu con un tipo di pittura che non conosco.
È una pittura che mio padre ricorda da quando i suoi hanno comprato quella casa.
Potrebbe avere più di 100 anni quella pittura.
Ragion per cui è molto rovinata.
Comunque voglio darvi qualche informazione in più e poi vi allego una foto.
La casa è con mura di pietra spesse 80 cm.
In questa stanza, sopra il muro di pietra è posto uno strato di gesso di circa 5-6 cm.
E poi c'è la pittura.
Qualche anno fa mio padre e mio zio hanno chiamato un imbianchino per risolvere il problema della pittura.
Lui ha passato cementite e ducotone.
Tempo sei mesi è diventato tutto nerissimo per la muffa.
Allora io mi sono armato di phon a 600 gradi e ho tolto tutto il ducotone.
Adesso vorrei tanto togliere quella pittura o comunque risolvere il problema dipingendo di sopra senza che ammuffisca nulla.
Ovviamente con il phon non si toglie proprio nulla e con la carta vetrata ci vuole tanta troppa fatica e tempo.
Di seguito voglio allegarvi due foto.
Magari ho fortuna e trovo qualcuno che sa di cosa si tratta. Mio padre una volta aveva sentito parlare di pittura a olio di lino, ma sono solo ipotesi.
Non c'è nessuna certezza.
E poi l'olio di lino potrebbe essere il fondo?
Che nelle foto è quella cosa verde?
Se posso vi metto due collegamenti.