Problem 2 - complete proof of absence of RTE!
Problem 2 - ajout du variant de boucle pour la terminaison