Fichier ayant l’extension pif. Windows génère ces fichiers lorsqu’un raccourci avec un programme DOS est crée. Windows y enregistre les propriétés du programme en question.
