Comment arrêter rapidement un processus?

Solution : en écrivant un script utilisant awk.