Extraire le chemin, le nom et l’extension d’un fichier en bash