Measurement of properties of B0s → μ+μ− decays and search for B0→ μ+μ− with the CMS experiment (English)