I consider definability to mean one of either cases:

1. Definability without parameters (in the language of set theory), or

2. Definability from ordinals and a real (in the same language).

So my question is:
Is there a model $M$ of ZFC (or at least of ZF) such that every definable family of sets (not necessarily of reals) contains at least one definable member (in the sense 1. or 2. respectively) but such that $M$ contains nonetheless many non-definable members (i.e. $M$ is not pointwise definable)?