Types of cerebral infarct and causes of cerebral ischaemia.