Groupe de type fini