#recuperer l'extension d'un fichier # $extension=pathinfo($dir,PATHINFO_EXTENSION);