Cliquer le lien Indécidabilité du Problème de l'arrêt (Turing) pour ouvrir la ressource.