A kit for linear forms in three logarithms - Maurice Mignotte; Paul Voutier (2022)