machine utilisé dans les mines