ابن أبي سليمان ، هو : عبد الملك العرزمي .