https://123dok.net/document/q7w7ej1o-somme-directe-de-p-sous-espaces-vectoriels.html