Histoire de l'Algerie (Les Productions de Paris, 1962)