L'option filet des crayons est visiblement non fonctionnelle depuis tres...

L'option filet des crayons est visiblement non fonctionnelle depuis tres longtemps, sans aucune plainte - on la supprime