On prouve d'abord une caractérisation des matrices de Gram ainsi que de leur inversibilité, puis on utilise la caractérisation de l'inversibilité pour montrer une jolie formule de distance entre vecteur et sous-espace vectoriel de dimension finie d'un espace préhilbertien.