Modelisation of a rolling disk with Sympy