Documents Etudes supérieures Light Logics for Polynomial Time Computations April 3th Time Computations