  We describe the iterated monodromy groups associated with post-critically
finite quadratic polynomials, and explicit their connection to the `kneading
sequence' of the polynomial.
  We then give recursive presentations by generators and relations for these
groups, and study some of their properties, like torsion and `branchness'.
