thanks !!!!
it looks like cutepdf will do the trick.

I'll only use it a few times per week, and the pdf it makes is only ~20KB.