Revisions for arrêter un processus avec le PID en ligne de commande