Merci beaucoup Gilles!
J'avais cherché dans le forum et dans ton dernier livre (pas encore lu en entier...), mais je n'ai pas pensé au blog : mea culpa !
Cela dit "Instant Jpeg" ne répond pas à ce que je recherche, car il extrait le jpeg intégré au RAW, donc produit par le reflex. Ce que je cherche c'est à convertir en JPEG un fichier RAW après développement dans LR (avec des réglages plus ou moins peaufinés à la main). Je le fais actuellement avec une exportation et une réimportation. Ça marche mais c'est un peu fastidieux. J'aimerais le faire un 1 click.
NB : pourquoi je fais cela au lieu de garder le RAW ? Uniquement pour des photos d'intérêt documentaire ou "souvenirs" dont je trouve le RAW trop encombrant sur mon disque, mais pour lesquelles le passage par le RAW (au lieu d'un JPEG direct) est néanmoins utile (forte dynamique).