Construction du hensélisé d'un corps valué.

avec Kuhlmann F.-V.
Journal of Algebra 228, (2000), 624-632.

Résumé : Nous donnons une construction explicite, et constructivement prouvée, du hensélisé d'un corps valué. Cette construction peut être considérée comme l'analogue, dans le cas valué, de la construction de la cloture réelle d'un corps ordonné.