#Récupérer l'extension d'un fichier # function getExt($file) { return pathinfo($file, PATHINFO_EXTENSION); }