Математик Анри Гарсе в 1865 году обосновал возможность межпланетного путешествия, если снаряду будет придана начальная скорость 12 тыс. ярдов (11 км) в секунду. По чьей просьбе он произвел эти вычисления?