Histoire française de la Guerre d'Algérie