Sous-espaces orthogonaux supplémentaires