Lorsque le juge de l'application des peines délivre un mandat d'amener en application du premier alinéa de l'article 712-17, les dispositions du deuxième alinéa de l'article 125 et celles de l'article 127 sont applicables, les attributions confiées par ces articles au juge d'instruction et au juge des libertés et de la détention étant respectivement exercées par le juge de l'application des peines et le procureur de la République.