merci pour votre réponse.
Le mur est fait avec du plâtre sur de la brique rouge. Mais ce plâtre est en moitié couvert de la peinture.On a poncé pour lisser le tout mais il reste cette peinture (le tout est assez "homogène").
Retirer la peinture serait très compliqué. On ne sait pas vraiment s'il faut le faire...