[!!!tex]Bonjour, j'ai ce problème de décidabilité/indécidabilité à résoudre, mais je ne sais par où commencer.

Soit $a_0 + a_1x + a_2x^2 + ... + a_nx^n = 0$ une équation avec $a_0, ..., a_n \in \mathbb{Z}$, et $b = max_j |a_j|$.\\
Montrez que si cette équation possède une solution alors elle possède une solution dans laquelle $|x| \leq bn$. \\
Montrez qu'il existe un algorithme qui étant donné une équation de ce type, détermine en temps fini si elle possède ou non une solution \emph{x} telle que $x \in \mathbb{Z}$.[!!!!/tex]


_{* Tom_Pascal > ne met pas tout ton message dans les balises tex, c'est illisible. Merci ! *}