Discoglossus pictus Otth, 1837 (Discoglosso dipinto).