  In this paper, we establish a link between the structure theory of the
pro-unipotent motivic fundamental group of the projective line minus three
points and Diophantine geometry. In particular, we give a p-adic proof of
Siegel's theorem.
