Small eye movements of the cat.