Remove useless space
Merge pull request #5108 from lucasmichot/4.2-code

[4.2] HTML : remove useless space