diff --git a/AUTHORS b/AUTHORS
index fd758863f..200b8f297 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -4,6 +4,7 @@ Alexandre Duret-Lutz
 Denis Poitrenaud
 Rachid Rebiha
 Soheib Baarir
+Thomas Badie
 Thomas Martinez
 Damien Lefortier
 Guillaume Sadegh
diff --git a/ChangeLog b/ChangeLog
index 9eca0327a..c90a17576 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2011-11-27  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	* AUTHORS: Add Thomas Badie.
+
 2011-05-07  Thomas Badie  <badie@lrde.epita.fr>
 
 	Add text I/O for Kripke structures.