  We show under general assumptions that the mean-field approximation for quan-
tum many-boson systems is correct. Our contribution unifies and improves on
most of the known results. The proof uses general properties of quantization in
infinite dimensional spaces, phase-space analysis and measure transportation
techniques.
