1. Somme hilbertienne externe d'espaces hilbertiens. 2. Somme hilbertienne de sous-espaces orthogonaux d'un espace hilbertien. 3. Familles orthonormales dans un espace hilbertien. 4. Orthonormalisation d'un ensemble de vecteurs d'un espace hilbertien.