Décomposition de Choleski

Une matrice symétrique définie positive définit un produit scalaire.