Suite de [10749]: permettre de faire disparaitre les numérotations de lignes...

Suite de [10749]: permettre de faire disparaitre les numérotations de lignes dans le débusqueur, quel que soit le texte affiché, ce qui permet en particulier de copier à la souris un squelette fabriqué dynamiquement. Ce code étant aussi utilisé par le validateur intégré, chargement explicite de jQuery dans le validateur pour éviter des erreurs JavaScript. Ces erreurs arrivent parfois aussi ailleurs de manière imprévisible, il y a qqch qui ne va pas qq part dans le chargement de jQuery.