Revision aac31017f4b2737e690210c5426c38795f0404a7

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

Fix documentation and add header