mi med gas , petroleum eller luft ; ( le senare äro antingen sug- eller tryckluftsmaskiner.