Il faut faire "Convertir et enregistrer" et généralement on modifie un peu le nom si on ne veut pas écraser l'original. Si c'est un Raw, il faut en plus choisir le type (jpeg ou TIF).