Title: L'abrégé de l'almageste, attribué à Averroes, dans sa version hébraïque