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