.une extension de fichier de verrouillage