====== 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]]