Accueil > Dictionnaire > Définitions du mot « gris de pierre »
Gris de pierre
[gri dœ pjɛr]
Définitions de « gris de pierre »
Gris de pierre - Locution nominale
-
(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
Étymologie de « gris de pierre »
Usage du mot « gris de pierre »
Évolution historique de l’usage du mot « gris de pierre » depuis 1800
Fréquence d'apparition du mot « gris de pierre » dans le journal Le Monde depuis 1945
Source : Gallicagram. Créé par Benjamin Azoulay et Benoît de Courson, Gallicagram représente graphiquement l’évolution au cours du temps de la fréquence d’apparition d’un ou plusieurs syntagmes dans les corpus numérisés de Gallica et de beaucoup d’autres bibliothèques.