Formal Brauer groups arising from certain weighted K3 surfaces A comparison of locally analytic group cohomology and Lie algebra cohomology for \(p\)-adic Lie groups. An alternative approach to Lazard's isomorphism 