CIMENT. n. m.
Mélange de briques pulvérisées et de chaux dont on fait un mortier. Faire du ciment. Bassin enduit de ciment. Ciment armé, Ciment soutenu par une armature intérieure qui est ordinairement en métal. Ciment romain, Ciment formé de calcaire argileux calciné et qui durcit sous l'action de l'air ou de l'eau. Ciment hydraulique, Ciment formé d'un mélange de chaux, de sable et de lave pilée, qui durcit sous l'action de l'eau.