Explicit methods in number theory. Rational points and Diophantine equations.