A kind of plastering made of lime, with a mixture of shells or pebbles, used for covering buildings.