Where does “pedrusco” come from?

pedrusco (Spanish) comes from Spanish piedra, from Old Spanish piedra, from Latin petra, from Ancient Greek πέτρα — rock formation: cliff, ledge, cave, ridge; stone.

pedrusco (Spanish): rock; stone

Definitions

rock; stone

Ancestry of “pedrusco”, step by step

Step	Language	Word	Meaning
1	Spanish	piedra	stone; flint; hailstone
2	Old Spanish	piedra	A piece of stone; a rock or pebble
3	Latin	petra	stone, rock
4	Ancient Greek	πέτρα	rock formation: cliff, ledge, cave, ridge; stone

Every word from Ancient Greek πέτρα →Every word from Latin petra →Every word from Old Spanish piedra →