extension→. [type de fichier]. Extension du nom d'un fichier contenant des informations sur les pistes d'un CD ou d'un DVD. Il est utilisé avec le fichier « .bin » correspondant qui contient l'image du disque proprement dite.
