المطبوعات: (مجموع فيه مصنفات بن شاهين)