ce type de machines est utilisé dans les mines de fluorine