Le programme (fun  (xx x) (fun  (xx x). En effet il se réduit en tête en une étape sur lui-même.
(fun  (x)  x x) (fun  (x)  x x)
®
((x x) {x ¬ fun  (xx x}) º
(fun  (x)  x x) (fun  (x)  x x)
®
...