Guerre d'Algérie : ouverture des archives, une déclassification anticipée