  The recursion theorem in the weak form {e}(z)=x(e,z) (universal function not
needed) and in Rogers form {n}(z)={{x}(n)}(z) and Rice theorem are proved a
first time using programs in C, and a second time with scripts in Bash.
