review documentation
Cherry-pick documentation from @ceeaspb, close #2049
Misc from #2049
Merge pull request #2051 from excilys/ceeaspb-documentation_proof

Documentation: Ceeaspb documentation proof