France : le général Fabien Mandon nommé chef d'État-major des armées