Perdita di gasolio infiltrato nel muro

Buongiorno a tutti. Sono in procinto di piastrellare un locale seminterrato. Fino a qualche anno addietro, adiacente ad un lato esterno del muro, vi era la cisterna contenente il gasolio (in comune con altro proprietario). Oggi, avendo optato per il riscaldamento autonomo, detta cisterna è stata svuotata e bonificata da esperti. Il problema è che la cisterna si era forata alcuni anni fa e parte del gasolio era fuoriuscito e si era infiltrato nel muro. Oggi, prima di iniziare i lavori, vorrei sapere come fare per eliminare l'odore di gasolio che ancora si sente in modo persistente. Qualcuno mi ha detto che esistono dei prodotti da spruzzare direttamente sul muro in questione, non so però di quali prodotti si tratti e se sono efficaci per risolvere il problema. Evenutalmente, se c'è qualche esperto, posso risolvere in qualche modo alternativo?

Vi ringrazio anticipatamente,

Anna