Le général Pontiès nommé commandant de l'opération européenne en Centrafrique