Pour retoucher une image il vaut mieux partir de la plus grande profondeur de couleur possible et travailler dans l'espace couleur le plus vaste (pas forcément toujours vrai). Donc TIFF à cause du 16 bits.
Dans ton cas tu ne retouches pas, tu utilises topshop pour convertir en profil. Comme tu ne peux pas envoyer de TIFF 16 bits au tireur inutile de te prendre la tête, tu peux rester en jpg.

DPP ne permet pas d'exporter vers un profil "tireur".

A chaque fois que tu changes de prestataire tu dois refaire une sortie convertie au bon profil.

Ta procédure est bonne.