> ...and from INRIA's view I would think: they have developed
> OCaml, but do not use it for their own developments....
> ... strange, isn't it?

I think you don't quite realize how big an institute the INRIA is :

http://www.inria.fr/inria/enbref.en.html

Plus, there are a variety of other (domain-specific, mostly) languages
developed by INRIA teams, and anyway there's no reason to enforce the
use of OCaml in all INRIA projects. That would even be strongly
counter-productive, since I don't think you can find 2800 scientists
in the country (covering all IT fields) who know OCaml well enough. As
frustrating as it may seem, most teams are actually using mainstream
languages.

Cheers,

Stéphane L.

-- 
I'm the kind of guy that until it happens, I won't worry about it. -
R.H. RoY05, MVP06