egdes diamanten af konungen i Portugal , som då sålde den för 100 000 francs till Harley de Sancey , kunglig fransk generalskattmästare , och detär