In this talk, we review semiclassical analysis for systems whose phase space is of arbitrary (possibly infinite) dimension. An emphasis will be put on a general derivation of the so-called Wigner classical measures as the limit of states in a non-commutative algebra of quantum observables. In the remaining time, the related problem of quantization will be introduced; and we will follow the projective approach of Ammari and Nier.