The use of Electronic Computers for analytical (not numerical) developments in celestial mechanics | lit.salon