An introduction to semiclassical analysis in infinite dimensions, and its applications to mean and quantum field theories