  Building on our previous papers (math.AG/0102173, math.AG/0105244,
math.AG/0106192) we prove that every overconvergent F-isocrystal over k((t)) is
quasi-unipotent (in the sense of Crew), for k a field of positive
characteristic.
