Preuve alg. linéaire complète + corr. mineures