Finiteness Theorems for Dynamical Systems, Lucien Szpiro, talk at Conference on L-functions and Automorphic Forms (on the occasion of Dorian Goldfeld's 60th Birthday), Columbia University, May 2007, cf. Peter Woit, « Proof of the abc Conjecture? », .