J'ai utilisé ce que j'avais sous la main: du WD40 et des cotons-tiges.
ça a marché, même si je n'ai pas réussi a nettoyer tout le WD40. Le couteau n'étant pas prévu pour une usage alimentaire, une fine couche de wd40 sur la lame à la sortie de l'étui ne me dérange pas.