Le 9e régiment d'infanterie légère (9e léger) est un régiment d'infanterie légère de l'armée française créé sous la Révolution à partir du bataillon de chasseurs des Cévennes, un régiment français d'Ancien Régime lui-même issu du Régiment de chasseurs à cheval des Cévennes.En 1854, il est transformé et prend le nom de 84e régiment d'infanterie. Article détaillé : 84e régiment d'infanterie.