Le coût de la santé publique : le cas des hôpitaux militaires français, XVIIe-XVIIIe siècles