https://123dok.net/document/zpn7ovj7-produit-tensoriel-du-groupe-d-heisenberg.html