Par J. Justin Storck, édition de 1900
Pompe
Ponce (Pierre)
subs. masc.
Opération qui consiste à passer à la pierre ponce les surfaces que l'on veut rendre unies avant d'y passer soit une couche de peinture, soit un encaustique. (Voy. poncer.)
Mise à jour 2019-01-04