<2013-06-14> (FileFilter.getExtension) bogue 68, traitement spécial des extensions en `jpe.xxx'. Mise à jour en-tête.
Authored by: vincentb1 2013-06-15
Parent: [r1851]
Child: [r1853]
