Gassprutor ( extincteurs ),