[ 4 ] ابن حنين ، هو عبد الله [ 3305 ] ، وأخوه عبيد [ 4 ، 4399 ] ، وإبراهيم بن عبد الله بن حنين [ ع ، 197 ] .