I've found it in [FGA explained, Kleiman, The Picard scheme], p. 262, Exercise 9.4.3.

A universal sheaf/Poincaré sheaf exists iff $\mathbf{Pic}_{X/S}$ represents $\mathrm{Pic}_{X/S}$.