elefanter , rhinoceros och , hvad som voro ännu mer betecknande , krokodiler i Nord-Afrika.