Glossaire technique trilingue de la pierre. L’exploitation en carrière