Tu sélectionnes un DivX, tu fais un POmme-I dessus et là tu choisis l'application à utiliser pour l'ouvrir et tu cliques "Tout modifier"
De cette façon ça modifies pour TOUS les fichiers de ce type (alors que via le menu contextuel, ça ne change que pour LE fichier sélectionné
