Donaldson's polynomial invariants