Replace spaces with tabs
Merge pull request #4919 from lucasmichot/4.2-console-spaces

[4.2] Console : replace spaces with tabs