Ludics with repetitions (Exponentials, Interactive types and Completeness) (Logical Methods in Computer Science, 2011)