Mon ami Laurent Kaczmarek souhaite recenser toutes les démonstrations du résultat suivant d'algèbre linéaire.

Un espace vectoriel de dimension finie sur un corps non-dénombrable n'est pas réunion dénombrable de sous-espaces vectoriels stricts.

Preuves dans les cas réel ou complexe acceptées (et même souhaitées !).