extension→. [type de fichier] [extension]. Extension du nom d'un fichier contenant un carnet d'adresse, dans la famille Mozilla.
