l exploitation minière et de construction de l irlande