Bâtiment de pompage et pavillon