allard a. *les plus anciennes versions latines du xiie siècle issues de l'arithmétique d'al-khwarizmi* storia 1975 louvain adelardo di bath