Elements of quantum mechanics of infinite systems : lecture notes - Strocchi, F. (International School for Advanced Studies lecture series, 1985)