Une armée "révolutionnaire" - Contre-insurrection et subversion militaire pendant la guerre d'Algérie