Infinitary Proof Theory : The Multiplicative Additive Case