diff --git a/pre/inst-depl b/pre/inst-depl
index 2a093e2..693bcb7 100755
--- a/pre/inst-depl
+++ b/pre/inst-depl
@@ -2,6 +2,7 @@
 ## aa : 2023-01-18 15:25
 ## ps : 2023-02-01 15:25
 ## ps : 2023-12-18 15:25
+## ps : 2024-01-17 15:25
 
 set -o errexit
 set -o pipefail
@@ -83,7 +84,7 @@ cp goss /usr/local/bin
 
 (cat <<'EOT' > "${STOREREP}/inst1"
 #!/bin/bash
-if [[ -z ${HOST+x} ]]; then
+if [[ -z "${HOST+x}" ]]; then
   echo "erreur : variable HOST indefinie"
   echo " HOST : adresse serveur deploiement"
   echo "export HOST=s-xyzt ; ./$0"