groupe opérant sur un ensemble