let entiers_pair = let rec s n = freeze (fun () -> n, s (n + 2)) in s 0;; nth entiers_pair 3;;