Concerning the "propriété de striction" I mentioned in my previous message: one should mention that like much of the work on proof-nets of those years at the beginning of Linear Logic, it is was achieved by the very close cooperation of Vincent Danos and Laurent Regnier. Lorenzo.