De prima guerra punica, etc.