La especie tipo es: "Petrocoptis pyrenaica