polytechnique.dtx 42.5 KB