Revision 0e60f7c16323af4d99e3a2acce077c6628e1b620

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

Fix documentation and add header