Geometry of interaction 1: Interpretation of System F