Ligne principale de la théorie des anneaux (structure idéale, structure quotient, extension)