diff --git a/util.php b/util.php
index 76f8045..22561f3 100644
--- a/util.php
+++ b/util.php
@@ -3,7 +3,7 @@
 // Fonctions utilitaires.
 
 // Concatène deux chemins.
-function concat_path($p1, $p2) {
+function concaténer_chemin($p1, $p2) {
     return $p1 . '/' . $p2; // FIXME : . '/' . n'est pas portable !
 }