timer sous linux

Version imprimable