À Toulon, le patron de la gendarmerie maritime intronise de nouveaux chefs