Un peu de Lint dans Editor