amiral Gervais i hederslegionens stora röda band.