Historique du 85. Régiment d'infantrie (Charles-Lavauzelle, 1888)