Revision bc2c912e772cfeb06e559db6d5f80fb337127ade

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

Fix documentation and add header