Je suppose que j'ai un sev de dimension finie E de l'espace vectoriel des fonctions réelles.
je veux montrer qu'il existe une base de E qui vérifie, par exemple si la dimension de E c'est n, alors si j'ai y1 y2 ... yn réels, pour tout élément de la base (f1, f2... fn) de E, fi(yi)=1 et fi(yj)=0 si j =/= i
J'ai pensé à faire éventuellement une récurrence sur n, mais je vois pas trop comment faire pour l'hérédité.. J'ai pensé à scindé mon espace E de dimension n+1 en deux sous espace supplémentaire de dimension n et 1 pour utiliser mon hypothèse mais ça a pas l'air très concluant 
