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é :
+  * [[https://www.irif.fr/~colcombe/|Thomas Colcombet]]
+  * [[https://www.irif.fr/~gaucher/|Philippe Gaucher]]
+  * [[https://webusers.imj-prg.fr/~yves.guiraud/|Yves Guiraud]]
+  * [[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
+  * [[https://www.irif.fr/users/fm/index|Fabien de Montgolfier]]
+  * Jean-Michel Moreno
+  * Laurent Pietroni
+  * [[wpfr>Jean-Marie Rifflet]]
+  * [[https://yunes.informatique.univ-paris-diderot.fr/|Jean-Baptiste Yunès]]
+  * [[https://www.irif.fr/~zielonka/|Wieslaw Zielonka]]