Définitionsgris de pierre

gris de pierre

nom masculin
/ɡʁi də pjɛʁ/
  1. 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é , [...].

Définitions issus du Wiktionnaire (via DBnary), sous licence CC BY-SA 3.0.