En Fait
L'Office fédéral de la justice (OFJ) a demandé à la Suisse d'arrêter le ressortissant chinois [A.] en vue de son extradition aux États-Unis. L'arrestation a eu lieu le 13 juin 2019. L'OFJ a ordonné l'extradition, en réservant l'examen de l'objection de l'infraction politique soulevée par [A.] au Tribunal pénal fédéral. [A.] a formé un recours contre la décision d'extradition, et le Tribunal pénal fédéral a annulé la décision. Par la suite, [A.] a demandé sa libération immédiate de la détention en vue de l'extradition, que l'OFJ a refusée. Le Tribunal pénal fédéral a annulé cette décision et ordonné la libération de la détention.
L'OFJ a déposé une demande de mesure superprovisoire, et le Tribunal fédéral a admis la demande et ordonné le maintien provisoire de la détention. L'OFJ demande maintenant l'annulation de la décision de libération de la détention du Tribunal pénal fédéral.
En Droit
Le Tribunal fédéral doit examiner si la décision de libération de la détention du Tribunal pénal fédéral doit être annulée. Le recours est recevable, car il s'agit d'un cas particulièrement important et que les conditions de l'art. 84 al. 1 LTF sont remplies. Le Tribunal pénal fédéral a ordonné la libération de la détention en raison du fait que les conditions d'extradition n'étaient pas remplies, car il manquait la double incrimination.
L'OFJ estime qu'il n'est pas clair comment il faut procéder lorsque le Tribunal pénal fédéral refuse l'extradition et, par la suite, lève également la détention en vue de l'extradition. Le Tribunal fédéral s'est déjà prononcé sur cette question dans un arrêt antérieur et a constaté que l'OFJ doit, dans de tels cas, former recours au plus tard le jour ouvrable suivant la notification de la décision de libération de la détention et demander une mesure provisionnelle de maintien de la détention en vue de l'extradition.
Dans…