<2013-06-15> (FileFilter.getExtension) Optimisation du code bogue 68, pour le traitement spécial des extensions en `jpe.xxx'
Authored by: vincentb1 2013-06-16
Parent: [r1853]
Child: [r1855]
