صور للكواكب. catalogue des etoiles par ʿabd al raḥman ibn ʿomar al ṣoufi ouvrage connu sous le titre de الص bibliotheque nationale de france bibliotheque nationale etoile