...uno dice "e che ci vuole? Al momento di andare in stampa mi chiederà che profilo ICC utilizzare, l'intento di rendering, etc."... e invece no! :)
Bene... ho scoperto che il profilo ICC al PDF va assegnato in fase di creazione dello stesso. Assegnato non è il termine esatto. Diciamo che il documento va *convertito* nel profilo colore che userà la stampante. Tuttavia ancora non trovo il modo di scegliere un intento di rendering, e il risultato è un po' scuro. Sembrerebbe, dal risultato di default, un relativo colorimetrico senza BPC.
Premetto che non è un flusso di lavoro che uso seguire, però mi è capitato di dover stampare un catalogo creato in illustrator, nel quale sono state importate delle immagini. Sono riuscito a far lavorare la persona che si occupava della cosa in RGB (almeno quello), e poi ho dato un'occhiata io all'esportazione per PDF, tramite "Salva come...".