L’Encyclopédie/1re édition/BADIGEONNER
BADIGEONNER, c’est colorer avec du badigeon un ravallement en plâtre, fait sur un pan de bois, ou sur un mur de moellon, de brique, &c. La plûpart des ouvriers mettent au badigeon de l’ocre pour le rendre plus jaune, mais il n’y en faut point, cette teinte devant plûtôt imiter la pierre dure d’Arcueil, qui est presque blanche, que celle de saint-Leu, qui est plus colorée. (P)