Characterization of the law of a finite exchangeable sequence through the finite-dimensional distributions of the empirical measure