Revision 9706ba5863df0132f94f8e02afe782a9bcb47f13

Committed on 21/08/2020 3:52 pm by Morel Sébastien <morel.seb@gmail.com> [GitHub Diff]

Fix documentation and add header