Как называлась манишка русских рабочих приставленная к рубашкам на большие праздники?

Гаврилка - так называлась манишка русских рабочих приставленная к рубашкам на большие праздники.