(via Astérisque: red military coat)