Noms de projets OK

cspell.json

@@ -226,7 +226,9 @@
         "lisn",
         "upsaclay",
         "ISAE",
-        "SUPAERO"
+        "SUPAERO",
+        "GGOLIN",
+        "Smilei"
     ],
     // flagWords - list of words to be always considered incorrect
     // This is useful for offensive words and common spelling errors.

etatdeslieux.md

@@ -142,7 +142,9 @@ situation est aussi proposée.
 
 La plupart des logiciels libres issus de l’Enseignement supérieur et de la Recherche et désireux d'interaction avec la société utilisent une solution d'hébergement commerciale ouverte à
 tous, comme `github.com`, `gitlab.com` ou `sourceforge.net` [@githubinpublications]. Il suffit de regarder les dépôts où sont hébergés les logiciels
-récompensés lors du premier prix science ouverte du logiciel libre pour s'en convaincre :
+récompensés lors du prix science ouverte du logiciel libre pour s'en convaincre :
+
+Première édition (2022) :
 
 - Coq : https://github.com/coq/coq
 - Coriolis : https://gitlab.lip6.fr/vlsi-eda/coriolis
@@ -155,6 +157,17 @@ récompensés lors du premier prix science ouverte du logiciel libre pour s'en c
 - SPPAS : https://sourceforge.net/projects/sppas/
 - Gama : https://github.com/gama-platform/gama
 
+Seconde édition (2023) :
+
+- Brian simulator : https://github.com/brian-team/brian2
+- Fink : https://github.com/astrolabsoftware
+- Hyphe : https://github.com/medialab/hyphe
+- KeOps : https://github.com/getkeops/keops
+- NoiseCapture : https://github.com/Universite-Gustave-Eiffel/NoiseCapture/
+- OCaml : https://github.com/ocaml/ocaml
+- PPanGGOLIN : https://github.com/labgem/PPanGGOLiN/
+- Smilei : https://github.com/SmileiPIC/Smilei
+
 La plateforme [code.gouv.fr](https://code.gouv.fr/#/repos) référence, au 11 février 2023, 9818 dépôts relevant de l’Enseignement supérieur et de la Recherche. **29 %** de ces dépôts (2627) sont hébergés sur GitHub. Seulement 30 dépôts sont hébergés sur gitlab.com. Les autres solutions commerciales ne sont pas encore comptabilisées.
 
 La plateforme [Software Heritage](https://archive.softwareheritage.org) permet d'avoir une idée du nombre de projets publics globaux trouvés sur les forges commerciales : 156 M pour GitHub, 4 M pour GitLab, 2 M pour Bitbucket, pour les plus utilisées début février 2023. On note que GitHub contient bien plus de projets publics que les autres forges.