Let A be a Grothendieck category satisfying (AB4*) (that is, with exact products). Assuming that, moreover, A is locally noetherian, must this category have enough small projective objects (so, to be equivalent to a category of additive functors from a small preadditive category to abelian groups)? If it is, may the "locally noetherian" assumption be relaxed into "locally finitely presented", or even "locally finitely generated" of (AB6)? Thanks!