authors

mathurinm · mathurinm · commit ec68d9e86395 · 2025-05-05T10:01:16.000+02:00
diff --git a/AUTHORS b/AUTHORS
@@ -0,0 +1,3 @@
+Mathurin MASSIAS, Inria
+Quentin BERTRAND, Inria
+Badr MOUFAD, Ecole Polytechnique

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+Mathurin MASSIAS, Inria`
	`2`	`+Quentin BERTRAND, Inria`
	`3`	`+Badr MOUFAD, Ecole Polytechnique`