On both sides of the Strait of Gibraltar : studies in the history of medieval astronomy in the Iberian Peninsula and the Maghrib / by Julio Samsó