Produit vectoriel en dimension 7