I've got a 9mm one - though it seems that it's no longer available: http://www.decathlon.fr/corde-9mm-x-80m-id_8174984.html
(Decathlon/Simond) is the same thing. I believe their ropes are made by Cousin. It's really hard wearing - not a supple rope, but I quite like that. I've used this one really hard for just over a year and it looks pretty good - no worrying wear at all. I'd imagine that the 9.8 is much the same but a bit heavier.

I got one from Decathlon - like Jon says, it's hard wearing and not supple at all. In fact I find it a bit stiff to be honest.
But then again we also have these really nice 9.2 Beals which are lovely in comparison but I tend to knacker one out in a full season!

Wow,those are pretty good deals. A few places here have been selling off their end-of-line Jokers now the Beal Unicores are available (have just gone halfers on a 70m) but at that price, I could have been tempted by an 80m Joker, even for use as a wall rope!