Le Président est-il un chef des armées "honorifique", comme l'affirme Marine Le Pen ?