2020-07-18 13:35 reply @marc_pannier L’expression originelle est robe plutôt, devenue ensuite manteau, mais cela n’a que peu d’importance