Doc

Vincent POLLETrequested to merge
doc into master

Small fixes in documentation

Merge request reports