Some facts and probabilities relating to the history of Johannes Scotus, surnamed Duns