On the reduction of a random basis