French army interventions in Africa