les utilisations du GPS dans le secteur minier