ce problème est assez courant et sans réelle solution parfois il suffit de faire un "wbloc" sinon parfois le problème se règle en ré enregistrant le fichier sous un nom différent, il semble que cela vienne d'un plugin windows non mis à jour mais sans certitude
