rectifieuse au Kenya mines sud africaines independantes