  We classify all infinite primitive permutation groups possessing a finite
point stabilizer, thus extending the seminal Aschbacher-O'Nan-Scott Theorem to
all primitive permutation groups with finite point stabilizers.
