Famille génératrice d'un espace vectoriel