Le pavillon des travaux publics et le pavillon des manufactures de l'état, dans le parc du Champ-de-Mars