Tubular approaches to Baker's method for curves and varieties

Baker’s method, relying on estimates on linear forms in logarithms of algebraic numbers, allows one to prove in several situations the effective finiteness of integral points on varieties. In this article, we give a generalisation of results of Levin regarding Baker’s method for varieties, and explain how, quite surprisingly, it mixes (under additional hypotheses) with Runge’s method to improve some known estimates in the case of curves by bypassing (or more generally reducing) the need for linear forms in $p$-adic logarithms.