Les Formalismes fondamentaux de l''algèbre commutative