diff --git a/README.md b/README.md
index 782b591..7c2a5c9 100644
--- a/README.md
+++ b/README.md
@@ -95,7 +95,7 @@ See LICENSE file for details.
 ## AUTHORS
 
 * Antoine Miné, Sorbonne Université, formerly at ENS Paris.
-* Xavier Leroy, INRIA Paris-Rocquencourt.
+* Xavier Leroy, Collège de France, formerly at Inria Paris.
 * Pascal Cuoq, TrustInSoft.
 * Christophe Troestler (toplevel module)