gris de pierre

== Français == === Étymologie === De gris et de pierre. === Locution nominale === 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) ==== Traductions ====