machine travaillant dans les mines