A l'aide de la théorie des polynômes clés développée en parallèle par F.J. Herra Govantes, M.A. Olalla Acosta, M. Spivakovsky d'une part et M. Vaquié d'autre part, nous verrons comment plonger un anneau local noethérien régulier complet muni d'une valuation de rang 1 dans un anneau de séries formelles généralisées (appelé anneau de Mal'cev-Neumann) via des séries de Puiseux. On donnera la construction faite dans le cas equicaractéristique par M. Spivakovsky puis nous verrons comment la généraliser dans le cas où l'anneau est de caractéristique mixte et non-ramifié.