Comment changer le type dun fichier raccourci