Repair of a manhole cover on the road