Finitary Semantics of Linear Logic and Higher-Order Model-Checking