Une construction d’extensions faiblement non ramifiées d’un anneau de valuation

Étant donné un anneau de valuation V de corps résiduel F et contenant un corps k, et une extension k’ de k, on cherche à construire une extension V’ de V contenant k’, d’idéal maximal engendré par celui de V, et de corps résiduel composé de F et k’. On y parvient notamment si F ou k’ est séparable sur k.