<<Disclaimer: Verify this information before applying it to your situation.>>

Many thanks to all of you in the list who took the time to answer my
query.

In case some other people in the list might not have the  information,
I'd like to pass it on then : Kellog's corn flakes (as well as rice
krispies and probably others) are not gluten free, since they contain
malt.