Infiltration, assassinats ciblés... L'espionnage français pendant la guerre d'Algérie