;; Ces programmes sont sous licence CeCILL-B V1.
;; Exécution en ligne de commande avec Bigloo :
;; $ bigloo -i Terminaison-do.scm

(define (Terminaison)
   (let ((s 2)
	 (p #f))
      (let boucle ()
	 (if (not p)
	     (begin
		(do ((i 1 (+ i 1)))
		    ((>= i s))
		    (let ((j (- s i)))
		       (if (= (* i i)
			      (* 25 j j))
			   (begin
			      (display i)
			      (display " ")
			      (display j)
			      (newline)
			      (set! p #t)))))
		(set! s (+ s 1))
		(boucle)) ))))

(Terminaison)