Éric Morvan, le patron de la police nationale, quitte ses fonctions