Using purely combinatorial means we obtain results on simultaneous Diophantine approximation modulo 1 for systems of polynomials with real coefficients and no constant term.
— We prove a theorem of diophantine approximation between the field of formal power series in several variables and its completion for the Krull topology.