groupe dérivé