Typo

source/polytechnique.dtx

 %
 %Ces options peuvent être indiquées directement dans la déclaration de la classe du document, suivant la syntaxe habituelle : |\documentclass|\oarg{options globales}\marg{classe du document}. \meta{options globales} est une liste d'options séparées par des virgules, selon la syntaxe habituelle. Par exemple :
 %\begin{verbatim}
-%    \documenclass[titlepage,11pt,a4paper]{article}
+%    \documentclass[titlepage,11pt,a4paper]{article}
 %\end{verbatim}
 %
 %Voici la liste des options globales qui sont reprises par le package :