Définition, logique de construction et ordre d'un groupe quotient