définit la fonction identiquement égale à 1 si la conjecture de Syracuse est vraie. Puisqu'un algorithme (récursif ou non) est supposé résoudre un problème précis, il faut s'assurer qu'il fait bien la ...