Différences

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

--- ufr:musee:remerciements [2023/07/06 13:48] – créée kgarnier
+++ ufr:musee:remerciements [2023/11/17 11:45] (Version actuelle) – cd
@@ Ligne 1: / Ligne 1: @@
 ====== Remerciements ======
-Le musée adresse ses remerciements aux personnes ayant contribué à sa création :
+Le musée adresse ses remerciements aux personnes ayant contribué :
   * [[https://www.irif.fr/~colcombe/|Thomas Colcombet]]
@@ 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