Calculabilité et décidabilité

1. Exercice 1 du sujet d'écrit 24NSIJ2ME3
2. Compléments à partir du site de Gilles Lassus