gummi-ballon: choose if sage-python or python, better pic