ابن دقماق؛ إبراهيم بن محمد بن أيدمر بن دقماق القاهري، صارم الدين