Carvings by a 18th century AD quarry worker in the Catacombs of Paris