Bohr's correspondence principle asserts that the predictions of classical and quantum mechanics coincide in the limit of large quantum numbers. This connection becomes especially striking when one studies Schrödinger-type equations for initial data minimising the uncertainty principle, known as "gaussian coherent states", in the semiclassical limit. More precisely, in the context of quantum mechanics, one can derive a complete asymptotic expansion in the semiclassical parameter for solutions of such equations. The aim of this talk is to explain how to obtain a similar result in the framework of Quantum Field Theory for a certain class on analytic interactions, with a particular stress on spatially cutoff $P(\phi)_2$ interactions.