SMS: Les formalismes fondamentaux de l'algèbre commutative