Astronomkongressen i Paris är nu slutad.