Timer & setjmp : comment réinitialiser un timer ?

Version imprimable