Le Commentaire de Samuel ibn Hofni sur le Pentateuque, par Guillaume Bacher, — Wilhelm Bacher