Jump from parallel to sequential proofs: multiplicatives.

We introduce a new class of multiplicative proof nets, J-proof nets,which are a typed version of Faggian and Maurel's multiplicative L-nets.In J-proof nets,we can characterize nets with different degrees of sequentiality, by gradual insertion of sequentiality constraints. As a byproduct, we obtain a simple proof of the sequentialisation theorem