Mais que devient le musée de l’Infanterie?