Liberté d’une famille de vecteurs propres

Je me suis permis de rajouter une explication de ce qu’est $\mathcal{L}_{c}$, comme je ne connaissais pas ! :)

Mais tout bien réfléchi : la continuité est-elle vraiment nécessaire ? J’ai l’impression que c’est la preuve habituelle !

Pas du tout, petite embrouille de ma part !