Ponce (n.f.)

variété de roche volcanique très poreuse et dure, employée pour polir.