ce type de machines est utilise dans les mines de fluorine