Entropy of a gas of hard spheres with respect to the group of space-time translations