infinite dimensional symplectic groups, CCR algebra, quasifree state