med Militärmedaljen och Hederslegionens stora kors , dock med republikens insignier.