broyage du platre dans les mines