Christian Retoré: Réseaux et séquents ordonnés. (Ordered sequents and proof nets). Paris Diderot University, France 1993