ἐκ πέτρας εἰργασμένος