Merci pour ta réponse -Mr Bison_fûté-
Ca m'éclaircit les idées :
Donc si (x1,.......,xp) est libre donc dim(vect(x1,....,xp))=p
Sinon on aurra (x1........xp) est liée
et puisque card(libre)<=card(lié)
alors : dim(vect(x1,.......,xp))<=card(x1,......,xp)=p car toute base est une famille libre .
et Puisque vect(x1,........,xp) est un sous ev de (E) alors rg(x1,..........,xp)<=dim(E)
Par suite rg(x1,.......,xp)<=inf(dim(E), p )
Ce qu'il faut démontrer !!!