double stochastic integral, Pauli-Fierz model, Gibbs measure, tightness