groupe résoluble