Revision 6e2b67518212adf7299ca9f8e5b3b5ad81defc3c

Committed on 21/08/2020 3:52 pm by Morel Sébastien <[email protected]> [GitHub Diff]

Fix documentation and add header