Galton-Watson trees; total progeny; Lagrange inversion; central limit theorem