“…In some sense, our approach establishes a bridge between the Newton-Puiseux algorithm, the Montes algorithm and Abhyankar's irreducibility criterion. Let us mention also [9,10] where an other irreducibility criterion in K[[x]][y] is given in terms of the Newton polygon of the discriminant curve of F , without complexity estimates, and [20], which provides a good reference for the relations between approximate roots, Puiseux series and resolution of singularities of an irreducible Weierstrass polynomial…”