Ok, actually, I am reconsidering that.
I realized I already have a ballhead (with a mounting plate, Mark, which is good) - from my Joby tripod - which I could use in the meantime, before I buy a good one.
And, which is good news, I may have found a Manfrotto 190CXPRO4 at "only" 250 Euros, new. That's quite a higher-end tripod, it's lighter, and it seems a decent deal as the next best price is actually 340 Euros.
I wonder if it make sense to get that, rather than something cheaper with a ballhead I don't need.

As a side note, 190CXPRO4 comes, as you can see on its webpage, with the Q90 system, which allows you to tilt the central stand by 90 degrees.

Gosh, are these expensive. Again, because my gf and I are both using this stuff, it feels I am actually getting a bit more value for what I spend...