William Petty (1623-1687) et le calcul du doublement de la population