+
+vardef LignePointilles=
+ save $;
+ picture $,texto,TEXT;
+ texto=image(
+ label.lrt(LATEX("\Large \strut\ldots"),if unknown _coinprec: (0,0) else:_coinprec fi);
+ );
+TEXT=image(
+ draw texto;
+ path cadre;
+ cadre=(llcorner texto+(-eb,0))--(llcorner texto+(0,-eb))--
+ (llcorner texto+(0.375cm,0)+(-eb,-eb))--
+ (llcorner texto+(0.375cm,0)+(0,-2eb))--
+ (llcorner texto+(0.625cm,0)+(0,-2eb))--
+ (llcorner texto+(0.625cm,0)+(eb,-eb))--
+ (lrcorner texto+(0,-eb))--(lrcorner texto+(eb,0))--(urcorner texto+(eb,0))--(urcorner texto+(0,eb))--
+ (ulcorner texto+(0.625cm,0)+(eb,eb))--
+ (ulcorner texto+(0.625cm,0))--
+ (ulcorner texto+(0.375cm,0))--
+ (ulcorner texto+(0.375cm,0)+(-eb,eb))--
+ (ulcorner texto+(0,eb))--(ulcorner texto+(-eb,0))--cycle;
+ fill cadre withcolor white;
+ draw texto;
+ );
+$=TEXT shifted (if unknown _coinprec:(0,0) else :_coinprec fi - ulcorner TEXT);
+_coinprec:=llcorner $;
+_coinprec:=_coinprec+(0,eb);
+$
+enddef;