From Proof Nets to Interaction Nets