Quelle est la durée du mandat du Président de la République française ?