Différences

Ci-dessous, les différences entre deux révisions de la page.

--- ufr:musee:remerciements [2023/07/06 13:49] – kgarnier
+++ ufr:musee:remerciements [2023/11/17 11:45] (Version actuelle) – cd
@@ Ligne 8: / Ligne 8: @@
   * [[http://pauillac.inria.fr/~herbelin/|Hugo Herbelin]]
   * [[https://www.irif.fr/~klimann/|Inès Klimann]]
+  * [[https://www.irif.fr/~krivine/|Jean-Louis Krivine]]
   * [[https://www.irif.fr/en/users/letouzey/index|Pierre Letouzey]]
   * Jean-Henri Manara