ajout de systeme de preuve de la boucle (a completer)