rotate_extrude ($fn = 200)
 import (file="manchon.dxf", layer="3", $fn=500);