My point was that Giacomo was not giving the meaning of this "latin" word "petra"... Does "petra" mean anything in latin? I don't know and I would like to know. Regarding the Sanskrit etymology, I don't know; I accept your opinion. But I feel that "petra", "Petros", "Pedro" etc are much closer to each other than to the ancient origin VAJRA.