Cutting, shaping and finishing of stone for the construction of buildings or roads, coverage roofs, etc.