A fully abstract model for the lazy lambda-calculus