Non tutti i dizionari danno una definizione dei termini croccantino e crocchetta come 'mangime per cani/gatti': perché? e quale dei due è più corretto?