Invariant measures on p-adic Lie groups : the p-adic quaternion algebra and the Haar integral on the p-adic rotation groups