I was able to convert the PDF file to .txt. Not very readable, but should be good enough
to allow me to gist the content through Google translate.
But in order to do that, it would be useful if I posted the .txt file somewhere on the
web.
Do you mind if I do that?
Alain