École des mines de Paris — 9 œuvres, 12 auteurs