Reduce proper base change to P^1_S ---> S

Finally found a good way to say this (which generalizes well for example
to the case of algebraic spaces, I think).