gris de pierre
Français modifier
Étymologie modifier
Locution nominale modifier
gris de pierre \ɡʁi də pjɛʁ\ masculin
- (Vieilli) (Construction) Oxyde de zinc, que l’on utilise dans la confection de certains ciments.
- Voici la composition du ciment métallique Sorel : 2 parties en poids d'oxyde de zinc dit gris de pierre , 2 parties en poids de calcaire très dur écrasé , 1 partie en poids de grès pilé ; chaque matière est passée au tamis de 0,0015 et le tout , entièrement mélangé , [...]. — (Louis Cloquet, Traité d'architecture, tome 1, Éd. Ch. Béranger, 1911)