je viens de regarder sur wikipedia, en fait
c´est un espace vectoriel, muni d´un produit scalaire, et qui est complet
espace complet : espace où toute suite de Cauchy est convergente
prod scal : forme bilineaire symetrique positive
forme bilineaire : f(x,y) doit etre lineaire si tu consideres x comme une constante, avec y comme variable, et aussi si tu consideres y comme une constante, et x variable
symetrique : f(y,x)=f(x,y)