Céline Berthon, première femme nommée à la tête de la Direction générale de la sécurité intérieure (DGSI)