René Dumont, biographie et bibliographie