We consider an infinite system of hard balls in $\xR^d$ undergoing Brownian motionsand submitted to a smooth pair potential.It is modelized by an infinite-dimensional stochastic differential equationwith an infinite-dimensional local time term.Existence and uniqueness of a strong solution is proven for such an equation with fixed deterministic initial condition. We also showthat Gibbs measures are reversible measures.