\text{addcomm=Non. L'addition n'est pas commutative}
\text{nozero=Non. L'lment 0 n'existe pas}
\text{addasso=Non. L'addition n'est pas associative}
\text{adddef=Non. L'addition n'est pas bien dfinie}
\text{addneg=Non. Certains lments n'ont pas d'oppos}
\text{multdef=Non. La multiplication par scalaire n'est pas bien dfinie}
\text{multasso=Non. La multiplication par scalaire n'est pas associative}
\text{multone=Non. Multiplier par 1 change le vecteur}
\text{distrib=Non. La distributivit n'est pas vrifie}
\text{yes=Oui. C'est bien un espace vectoriel}
\text{choices=\yes,\addcomm,\addasso,\nozero,\adddef,\addneg,\multdef,\multasso,\multone,\distrib}
