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}$.
1 of 3
user19475