  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.
