A $p$-adic monodromy theorem for de Rham local systems. Issue 12 (15th December 2022)