pierre grise prix moyen par tonne