gestionnaire signaux preemption
preemption semi-ok, todo: propager le signal sur tous les threads