Interactive correctness criterion for multiplicative-additive proof-nets