Démonstration double produit vectoriel