diff --git a/test_static/predef01.lus b/test_static/predef01.lus
new file mode 100644
index 0000000000000000000000000000000000000000..ff456acaeab74be76250bde531b19723cb835c41
--- /dev/null
+++ b/test_static/predef01.lus
@@ -0,0 +1,7 @@
+
+
+
+node main(x,y: bool^42) returns (o: bool^42);
+let
+	o = map<<or, 42>>(x,y);
+tel
diff --git a/test_static/ts01.lus b/test_static/ts01.lus
new file mode 100644
index 0000000000000000000000000000000000000000..c1c07f8c04f0b34572c98a243b214fb666495af6
--- /dev/null
+++ b/test_static/ts01.lus
@@ -0,0 +1,9 @@
+
+-- ok
+
+node ma_macro<<const i : int>>(x: int) returns (y: int);
+let
+   y = i + x;
+tel
+
+node main = ma_macro<<32>>;
diff --git a/test_static/ts02.lus b/test_static/ts02.lus
new file mode 100644
index 0000000000000000000000000000000000000000..d13971cc86c9f0f0ae6874973c7eb4626a9f54b0
--- /dev/null
+++ b/test_static/ts02.lus
@@ -0,0 +1,10 @@
+
+-- KO, mais pas où il faudrait ...
+
+node ma_macro<<const i : int>>(x: int) returns (y: int);
+let
+   y = i + x;
+tel
+
+-- n.b. ko à l'utilisation uniquement
+node main = ma_macro<<32.0>>;
diff --git a/test_static/ts03.lus b/test_static/ts03.lus
new file mode 100644
index 0000000000000000000000000000000000000000..f5ab1442cc6ef52826f801ef8276102f2bf2c735
--- /dev/null
+++ b/test_static/ts03.lus
@@ -0,0 +1,11 @@
+
+-- KO 
+
+node ma_macro<<const i : int>>(x: int) returns (y: int);
+let
+   y = i + x;
+tel
+
+--*** Bad static argument nature, a constant was expected
+
+node main = ma_macro<<+>>;
diff --git a/test_static/ts04.lus b/test_static/ts04.lus
new file mode 100644
index 0000000000000000000000000000000000000000..86cd0941883ce10082736fc164b33da53d152680
--- /dev/null
+++ b/test_static/ts04.lus
@@ -0,0 +1,9 @@
+
+-- DEVRAIT ETRE KO !
+-- mais aucune verif dans la verfi du 30/07/12
+node ma_macro<<const i : real>>(x: int) returns (y: int);
+let
+   y = i + x;
+tel
+
+node main = ma_macro<<32>>;