Is there any finite extension of $\mathbb Q_p$ which is not the completion of a finite extension of $\mathbb Q$ at some place over $p$ ?
Analogously in equicaracteristicequicharacteristic, if $k=\overline {\mathbb F_p}$ , is there any finite extension of $k[[t]]$$k((t))$ which does notdoesn't arise from a finite extension of $k[t]$ $k(t)$?