groupe de type fini