[preference] disparition des preférences de eclipse

Version imprimable