espace vectoriel sur un corps fini