Event discrete simulation of hard spheres