Dimension de la somme de deux sous-espaces vectorielles