Therefore the theory branches in two essential parts : first the study of discrete valuations of the Weyl field D_1(K) extending a discrete valuation of K, secondly the discrete valuations of D_1(K) having the purely transcendental field K(t) as a residue field.