A flatness criterion in Grothendieck categories