diff --git a/util.php b/util.php
new file mode 100644
index 0000000..76f8045
--- /dev/null
+++ b/util.php
@@ -0,0 +1,10 @@
+<?php
+
+// Fonctions utilitaires.
+
+// Concatène deux chemins.
+function concat_path($p1, $p2) {
+    return $p1 . '/' . $p2; // FIXME : . '/' . n'est pas portable !
+}
+
+?>
\ No newline at end of file