Dictionnaire de Trévoux/6e édition, 1771/CRÉPI
(3, p. 7).
CREPI. s. m. Enduit ou mortier qu’on met, qu’on couche sur une muraille avec le balais sans passer la truelle dessus, &c. Arenatum. On fait des crépis de chaux & de sable, de plâtre, de stuc, &c. On fait aux Indes un crépi de la chaux vive mêlée avec du lait & du sucre, dont on enduit les murailles, qu’on polit avec une agathe : ce qui les fait unies & ; luisantes comme une glace de miroir, & les rend plus propres par dedans, qu’aucune de celles qu’on voit en Europe. Relations du Recueil de Thevenot.
CRÉPI, ie. adj. Ce mot se dit d’une muraille enduite de mortier, ou de plâtre. Incrustatus, arenato inductus. On le dit aussi d’un cuir auquel on a fait venir le grain. Muraille crépie, cuir crépi.