Bonjour, je cherche un timer facile utilisé fonctionnant sous linux.