broyeur utilisé dans l extraction du charbon