Polishing of roadstone in relation to the resistance to skidding of bituminous