A kit for linear forms in three logarithms. - Maurice Mignotte; Paul Voutier (Math. Comput., 2023)