Number theory and p-adic methods