4. Vérifications#
Vérification que la matrice et le vecteur à multiplier sont tous les deux à valeurs réelles ou tous les deux à valeurs complexes.
Vérification de cohérence : les opérandes de type matr_asse_* et de type cham_no doivent partager la même numérotation.