Médecins et infrastructures sanitaires dans l’Afrique septentrionale du XVIIIe au XXe siècle