#71 java.lang.NullPointerException sur \put(x,y){\framebox(w,h){}}

[Vincent Belaïche]

La figure suivante (fichier joint temp.pic) plante le parser:

\begin{picture}(12,12)(0,0)
\put(1,1){\framebox(10,10){}}
\end{picture}