after the battle demetrio went off to tripoli in france