Le domaine central de l'algèbre commutative (fondement théorique de la géométrie algébrique)