String dictionnary: ignore case + trim searches

* Version 7.0.2.0,
* String dictionnary : string now searched is trimmed and case is
ignored