Rechercher, en utilisant , une famille génératrice finie du vectoriel puis vérifier qu'elle est libre.