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