pour chaque form K il y a un vecteur v, tel que
Kx = <v,x> (produit scalaire), ces 4 vecteur doivent être independents, on les range dans une matrice et son determinante doit être non nul.

Arf je n'ai pas trop compris, si tu pouvais éviter d'appeler K une forme linéaire quand je l'ai défini comme un corps
Enfin bref c'est la notion d'indépendance des formes linéaires que je ne comprend pas, et je n'ai pas encore vu les déterminant de matrices, donc je doute qu'il me faille utiliser ça dans la démonstration.
Pour ce qui est des vecteurs, je suppose que déterminant nul <=> les vecteurs considérés sont libres, c'est ça ?

autrement dit :
on considere les image de vecteur de base pour chaque forme, il y en a 4,
il form la matrice de la forme qui est au fait un vecteur - ces 4 vecteur doivent être independents.

déterminant nul <=> les vecteurs considérés sont pas libres,

ok merci de ton aide !