Définition et propriétés du produit vectoriel de deux vecteurs