Direct-éditeurs : une application simple et efficace