מי היה הצדיק רבי דוד בן ברוך?רבי משה פינטו שליט"א