Patent foramen ovale and cryptogenic cerebral infarction