Constructive field theory, thermal field theory, KMS states