Opération intermédiaire du polissage et du sablage de la peau du béton après durcissement, qui consiste à boucher avec une pâte de ciment les petites cavités qui seraient apparues lors de ce traitement de surface.
Tous les termes du Glossaire
