I didn't know that, but that makes sense! I couldn't find any more info on this, even when searching for "Commissariat à l'Énergie Atomique OCaml". Do you have more details?

(I still think it's a bit rich to assume people will learn OCaml or write their own transpiler just to typeset stuff though.)