nettoyage tomettes

Re: nettoyage tomettes

Suite à une succession de travaux dans un appart j'ai un sol de tomettes à
la marseillaise constellé de taches de peinture, plâtre et peut-être
ciment.
Un artisan me parle de nettoyer tout ça à l'acide chlorhydrique dilué.
Est-ce bien raisonnable?
C'est même la seule solution, mais il faut d'abord gratter tout ce qui
fait épaisseur sinon l'acide ne sera pas assez costaud.