Revision f6e58b19c7e0e2bcc0fe7fd9bc559355ee79c676

Committed on 06/09/2017 4:33 am by Yannick ROGER <[email protected]> [GitHub Diff]

Removed useless </section>