Canonical transformations, KAM tori, normal forms, symplectic geometry