batalla de las ranas contra los ratones, Plu.2.873f, Procl.Vit.Hom.76.