lönats med hederslegionens storkors.