Corrigé de l'examen de programmation avancée - ENSIIE

Exercice 2 (Problème de l'arrêt) : 1. f1 termine sur les entiers pairs. Montrons par récurrence sur k que f1 termine sur 2k.