Mean field limit, bosonic QFT, Wigner measure, Hartree equation.