Improve description of the CEA

data/industrial_users/cea.md

@@ -1,13 +1,25 @@
 ---
 name: CEA
 description: > 
-  CEA is a French state company, member of the OCaml Consortium.
+  The French Alternative Energies and Atomic Energy Commission (CEA) is a key player in research, development and innovation
 url: "https://cea.fr/"
-logo: users/cea.png
+logo: users/cea.jpg
 locations: 
   - France
 consortium: true
 featured: true
 ---
 
-CEA is a French state company, member of the OCaml Consortium. It uses OCaml mainly to develop a platform dedicated to source-code analysis of C software, called [Frama-C](https://frama-c.com).
+The CEA is a major research organisation working in the best interests of the French State, its economy and citizens. Thanks to its strong roots in fundamental research, it is able to provide tangible solutions to meet their needs in four key fields:
+* Low-carbon energy (nuclear and renewable)
+* Digital technology
+* Technology for medicine of the future
+* Defence and national security
+
+CEA has developed several software tools using OCaml:
+
+- [Frama-C](https://www.frama-c.com/) dedicated to analysis of C code,
+- [Binsec](https://binsec.github.io/) dedicated to analysis of binary code,
+- [Caisar](https://www.caisar-platform.com/) dedicated to the trustworthiness of an AI-based software,
+- [Colibri2](https://colibri.frama-c.com/) a constraint solver,
+- [Why3find](https://git.frama-c.com/pub/why3find) an equivalent of ocamlfind for Why3 (with many more features related to program proof).