Finite and profinite quantum systems. ([2017])