Espaces euclidiens

Définition d'un espace euclidien, bases othonormées, inégalité de Cauchy-Schwarz