  We prove a comparison isomorphism between the De Rham rational homotopy type
of a smooth proper log variety defined over a p-adic field and the crystalline
rational homotopy type of a semi-stable reduction mod p.
