أبي علي الحسن بن الحسن بن الهيثم - دار المعارف