On 07/25/2013 11:58 AM, Arnaud Joly wrote:
>
> Ok thanks for the answer.
>
In principle there is a flag to ignore whitespace that could be used here.