diff --git a/Rubin.lean b/Rubin.lean
index 35038de..390e5d7 100644
--- a/Rubin.lean
+++ b/Rubin.lean
@@ -1,7 +1,7 @@
 /-
 Copyright (c) 2023 Laurent Bartholdi. All rights reserved.
 Released under Apache 2.0 license as described in the file LICENSE.
-Author : Laurent Bartholdi
+Author : Laurent Bartholdi and Émilie Burgun
 -/
 import Mathlib.Data.Finset.Basic
 import Mathlib.Data.Finset.Card