Somme directe d'espaces vectoriels (Ex4, Série I de TD d'algèbre 2, SMPC)