Indépendance linéaire des vecteurs propres associés à des valeurs propres distinctes Sarmate 15/02/2026 Preuve