https://123dok.net/document/qmjokr4q-erratum-nouvelles-methodes-pour-minorer-des-combinaisons-lineaires-de-logarithmes-de-nombres-algebriques.html