diff --git a/src/sat.sh b/src/sat.sh
index 7f0ba901..8af3f1b6 100755
--- a/src/sat.sh
+++ b/src/sat.sh
@@ -1,5 +1,14 @@
 #!/bin/sh
 
+#if there is one argument which is "stop", then we kill SàT
+if [ $# -eq 1 ];then
+	if [ $1 = "stop" ];then
+		echo "Terminating Salut à Toi"
+		pkill -f "twistd.*sat/sat.tac"
+		exit 0
+	fi
+fi
+
 NAME='sat'
 
 PID_FILE="/tmp/$NAME.pid"