Apparaît également dans les collections : Conférences Paris Pékin Tokyo, Arithmetic and Algebraic Geometry: A conference in honor of Ofer Gabber on the occasion of his 60th birthday

(Joint work with Brian Conrad.) Let $K$ be a complete rank 1 valued field with ring of integers $O_K$, $A$ an adic noetherian ring and $f:A\to O_K$ an adic morphism. If $g:X\to Y$ is a proper flat morphism between rigid analytic spaces over $K$ then locally on $Y$ a flat formal model of $g$ spreads out to a proper flat morphism between formal schemes topologically of finite type over $A$. As an application one can prove that for proper smooth $g$ and $K$ of characteristic 0, the Hodge to de Rham spectral sequence for $g$ degenerates and the $R^q g_* \Omega^p_{X/Y}$ are locally free.