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 127127 sont applicables, les références figurant à ces articles au juge d'instruction étant remplacées par des références au juge de l'application des peines.