ابن دكين ، هو : الفضل بن دكين .