ابن أبي معقل ، هو : معقل .