$file.'; $labels['arialabelfileprops'] = 'Propriétés du fichier'; ?>