[Incidence of migraine headaches among industrial workers].