(n.) A kind of hard artificial stone, used for pavements.