petromuridi
petromùridi s. m. pl. [lat. scient. Petromuridae, dal nome del genere Petromus (che ha sostituito il precedente Petromys: v. petromio), comp. del lat. petra «pietra» (v. petro-) e mus muris «topo»]. – In zoologia, famiglia di roditori del sottordine istricomorfi (già chiamata Petromyidae: v. petromidi), con un solo genere e una sola specie, Petromus typicus (v. petromio).