OVH Cloud OVH Cloud

Comment savoir l'extension réelle du fichier?

3 réponses
Avatar
Patrice Chevee
Bonjour,

mettons que j'ai un fichier .wav sous le nez. Windows ne semble pas faire la
différence entre du .wav, du .mp3, du .wma, du .mpga, du .ogg (ah si, je
crois que le media player ne lit pas le .ogg. Heureusement que des lecteurs
civilisés genre winamp le font, eux!).

C'etait une parenthèse sans importance. Ma question est: y a t il un moyen
de savoir à quel type de fichier on à affaire? Donc, en d'autres termes,
quelle est la bonne extension?

Merci de vos lumières et bien à vous,

P.C.

3 réponses

Avatar
David LE BOURGEOIS
Bonjour,


Bonsoir

Ma question est: y a t il un moyen
de savoir à quel type de fichier on à affaire? Donc, en d'autres termes,
quelle est la bonne extension?


L'extension d'un fichier, pour son contenu, n'existe qu'à titre indicatif,
et ne garantit en rien le type des données.

Certaines applications se basent sur l'extension pour déterminer le
programme associé qu'il faut lancer pour ouvrir le fichier.
C'est le cas par exemple de l'explorateur sous Windows, ou de Rox sous
Linux.

Une autre technique consiste à lire le fichier et comparer une partie de
son contenu avec une table de références. Car chaque type de fichier a
ses particularités et présente donc une signature qui le distingue.
La commande file (sous Linux ou avec Cygwin sous Windows) utilise cette
technique pour identifier un type de fichier.

--
David LE BOURGEOIS
mail : david.lebourgeois (at) free.fr

Avatar
Tchibeck
On Fri, 16 Sep 2005 20:51:06 +0200, in fr.comp.divers you wrote:

(ah si, je
crois que le media player ne lit pas le .ogg.
Heureusement que des lecteurs
civilisés genre winamp le font, eux!).


Tout dépend des CODECs installés sur votre PC.
Windows média Player 10 sait tout faire:
- graver, décoder, compresser, décompresser, extraire de l'audio, changer
le bitrate d'un fichier son dans n'importe quel format, etc... pourvu
qu'on ait les bons CODECs installés.

Tous les "média Players" tapent dedans, y compris WinAmp.

Avatar
Atila
mettons que j'ai un fichier .wav sous le nez. Windows ne semble pas faire
la

différence entre du .wav, du .mp3, du .wma, du .mpga, du .ogg (ah si, je
crois que le media player ne lit pas le .ogg. Heureusement que des
lecteurs

civilisés genre winamp le font, eux!).

C'etait une parenthèse sans importance. Ma question est: y a t il un moyen
de savoir à quel type de fichier on à affaire? Donc, en d'autres termes,
quelle est la bonne extension?


Rien à redire sur les réponses de David et Patrice, sinon qu'ils ne
répondent pas vraiment à ta question.
L'explorateur de Win permet de voir les extensions. Pour cela :
Outils, options des dossiers, affichage, et décocher l'option "Masquer les
extensions dont le type est connu"
Tu dois savoir que des fichiers de même extension peuvent avoir été encodés
avec différents CODEC. Il faudra donc que tu mettes à jours tes CODEC's pour
pouvoir tout lire avec un quelconque lecteur.

Un autre outil qui remplace avantageusement l'explorateur Windows est TOTAL
COMMANDER
http://www.ghisler.com/ shareware en francais illimité dans le temps et dans
les fonctions.

Michel