Le musée polytechnique.