Infinite grassmannian