المزيني، إبراهيم بن محمد الحمد