Infinite lambda-calculus and non-sensible models