La condition de chaîne descendante (DCC) et la définition des anneaux artiniens