Derivation of a discrete Enskog equation from the dynamics of particles