In addition, I think that the TorFAQ was not too precise about the "global adversary". As I wrote in my initial email, if you happen to contact a server observed by your ISP or if you choose an exit node observed by your ISP then your ISP "is" a global adversary.
~Mike.