diff --git a/CONTRIBUTORS/add-Theophile-Thomas.txt b/CONTRIBUTORS/add-Theophile-Thomas.txt
new file mode 100644
index 0000000000000..14642322b7844
--- /dev/null
+++ b/CONTRIBUTORS/add-Theophile-Thomas.txt
@@ -0,0 +1,2 @@
+Theophile-THOMAS
+