Bose Einstein Condensation, Equilibrium, KMS, factorial decomposition, CCR algebra, return to equilibrium, von Neumann algebra, C* algebra, quantum dynamical system, positive commutator, Mourre theory, virial theorem