[Mum-commits] 01/04: process_monitoring proprement arreté après KeyboardInterrupt