modifications of policy of completion ending with space
Merge branch 'dev' of github.com:Fafinou/IR13_QueryCompletion into dev