Paris den 15 december Amiral Gervais har utnämts till chefför