La machine de Turing est infinie de toute façon, donc ça cache déjà des embrouilles, pas possible de modéliser les entiers "intuitifs" sans piège