la nature d'un groupe introduit par une injonction est un???