Théories fondamentales de l'algèbre commutative (théorie des idéaux, localisation, dimension)