ابن أبي عدي ، هو : محمد بن إبراهيم .