Pestrokrovečník mravenčí (3)