  We present several results on counting untyped lambda terms, i.e., on telling
how many terms belong to such or such class, according to the size of the terms
and/or to the number of free variables.
