Hi Gertjan,
I don't know if you have the chance to choose whatever projector you want. I own a Fuji FP-Z5000 (discontinued now), and I've used the Z8000 as well, and there is a Z6000 (I think it is the newest).
The fixed lens is a 0.35-0.37:1, it has a very good lens shift, and a surprisingly even light for being that short-throw. I typically use it to fill a 8 x 5.5 m, screen. There are no focus issues. On the Z5000 it is important to be orthogonal to the screen in order to keep uniform focus. The newer ones have an iterative 2 step focus that accounts for that.
This would allow you to go for rear projection, and the flexibility provided by the strong lens shift can ease your placement.
The projector is not easy to find. So in case of interest I would contact directly with Fuji-Europe in Germany (that's what I did) and they referred me to their Spanish headquarters.
Good luck