Doc

Merged Vincent POLLET requested to merge doc into master

Small fixes in documentation

Merge request reports