Tools and diophantine equations - Cohen, Henri (Springer, 2007)