The Cartan–Hadamard conjecture and the Little Prince