diff --git a/php/src/app/cli/include-launcher.php b/php/src/app/cli/include-launcher.php
deleted file mode 100644
index 0958cb7..0000000
--- a/php/src/app/cli/include-launcher.php
+++ /dev/null
@@ -1,29 +0,0 @@
-<?php
-# script à inclure pour implémenter .launcher.php
-# les constantes suivantes doivent être définies AVANT de chager ce script:
-# - NULIB_APP_app_params : paramètres du projet
-
-use nulib\app;
-use nulib\os\path;
-
-if ($argc <= 1) die("invalid arguments");
-
-app::init(NULIB_APP_app_params);
-
-$app = $argv[1];
-array_splice($argv, 0, 1); $argc--;
-if (class_exists($app)) {
-  # la configuration est celle actuellement chargée
-  $app::run();
-} elseif (is_executable($app)) {
-  # la configuration est passée par une variable d'environnement
-  app::params_putenv();
-  pcntl_exec($app, array_slice($argv, 1));
-} else {
-  # la configuration est celle actuellement chargée
-  $name = preg_replace('/\.php$/', "", path::basename($app));
-  app::init([
-    "name" => $name,
-  ]);
-  require $app;
-}