Définition et logique de construction des anneaux quotients