les opérations minières de rectifieuses