Approximative composition of Wick symbols and applications to the time dependent Hartree-Fock equation. - Laurent Amour; M. Khodja; J. Nourrigat (Asymptot. Anal., 2013)