heavy top, integrablity, Ziglin theory, Morales-Ramis theory