الحسن بن حي : هو ابن صالح بن حي ، يأتي .