double_prod.mws Double produit vectoriel Analyse d'une matrice de rotation Construction d'une matrice de rotation