ابن مرزوق؛ محمد بن أحمد بن محمد، ابن مرزوق العجيسي، أبو عبد الله، شمس الدين