French military operations in Africa