waiting
Le Diko - théorème du supplémentaire orthogonal d'un fermé dans un espace de Hilbert