Mais pourquoi diable (s'il s'agit bien d'un fichier option, pas d'un patch) veux-tu graver un fichier destiné à ta carte mémoire ?