8. Un fichier avec une extension avi, c'est...