Church-Rosser lambda-theories, infinite lambda-terms and consistency problems