Hello,
I'll just translate for you one of the recommandations of the document "Modèles d'exécution d'OCaml" on page 15 :
"Recommandation R-2 : prefer camlp4 as a preprocessor"
I didn't read the whole document but reading this simple sentence makes me conclude that this LaFoSec project was done without taking into account all the community "movement" that is going on right now.
From my point of view, you cannot analyse a language, or the tools that come with it, without taking informations from experts and from the community around this language.
These documents do not even mention the -ppx option and thus the project was done without comparing the two approaches...
However, I think these documents are good to give more visibility to OCaml and maybe convince people that are still reluctant to functional languages.
Cheers,