التلمساني؛ إبراهيم بن أبي بكر بن عبد الله بن موسى الأنصاري، أبو إسحاق التلمساني