Lors du percement du cours Jean-Jaurès, la ville céda une partie des jardins du couvent des Célestins au Ministère de la Guerre qui y fit édifier la caserne Hautpoul, achevée en 1865. Le 1er régiment d'artillerie pontonnier devenu ensuite le régiment du 7eme Génie, composé de onze compagnies, y fut créé directement en 1894. . Il marqua beaucoup la ville, grâce à sa grande fête populaire annuelle  lors de la sainte Barbe. Dissous en 1939, il devint le 7ème RG en 1946, et prit le nom de 7ème Bataillon du Génie de la Division Alpine composé de quatre compagnies, une d'instruction, une de soutien et deux de combat en 1984.  Il fut transféré en 1993.

La caserne Hautpoul est devenue la Cité administrative depuis 1950.