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