This is pdfTeX, Version 3.14159265-2.6-1.40.18 (TeX Live 2017/Debian) (preloaded format=pdflatex 2019.1.21) 8 MAR 2021 15:20 entering extended mode restricted \write18 enabled. file:line:error style messages enabled. %&-line parsing enabled. **\input constructibles.tex (./constructibles.tex (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2014/09/29 v1.4h Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/leqno.clo File: leqno.clo 2016/12/29 v1.2a Standard LaTeX option (left equation numbers) ) (/usr/share/texlive/texmf-dist/tex/latex/base/size12.clo File: size12.clo 2014/09/29 v1.4h Standard LaTeX file (size option) ) \c@part=\count79 \c@section=\count80 \c@subsection=\count81 \c@subsubsection=\count82 \c@paragraph=\count83 \c@subparagraph=\count84 \c@figure=\count85 \c@table=\count86 \abovecaptionskip=\skip41 \belowcaptionskip=\skip42 \bibindent=\dimen102 ) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty Package: fontenc 2017/04/05 v2.0i Standard LaTeX package (/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.def File: t1enc.def 2017/04/05 v2.0i Standard LaTeX file LaTeX Font Info: Redeclaring font encoding T1 on input line 48. )) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty Package: inputenc 2015/03/17 v1.2c Input encoding file \inpenc@prehook=\toks14 \inpenc@posthook=\toks15 (/usr/share/texlive/texmf-dist/tex/latex/base/latin1.def File: latin1.def 2015/03/17 v1.2c Input encoding file )) (/usr/share/texlive/texmf-dist/tex/generic/babel/babel.sty Package: babel 2018/02/14 3.18 The Babel package (/usr/share/texlive/texmf-dist/tex/generic/babel/switch.def File: switch.def 2018/02/14 3.18 Babel switching mechanism ) (/usr/share/texlive/texmf-dist/tex/generic/babel-french/french.ldf Language: french 2018/02/04 v3.4b French support from the babel system (/usr/share/texlive/texmf-dist/tex/generic/babel/babel.def File: babel.def 2018/02/14 3.18 Babel common definitions \babel@savecnt=\count87 \U@D=\dimen103 (/usr/share/texlive/texmf-dist/tex/generic/babel/txtbabel.def) \bbl@dirlevel=\count88 ) \l@acadian = a dialect from \language\l@french \FB@nonchar=\count89 Package babel Info: Making : an active character on input line 411. Package babel Info: Making ; an active character on input line 412. Package babel Info: Making ! an active character on input line 413. Package babel Info: Making ? an active character on input line 414. \FBguill@level=\count90 \FB@everypar=\toks16 \FB@Mht=\dimen104 \mc@charclass=\count91 \mc@charfam=\count92 \mc@charslot=\count93 \std@mcc=\count94 \dec@mcc=\count95 \c@FBcaption@count=\count96 \listindentFB=\skip43 \descindentFB=\skip44 \labelwidthFB=\skip45 \leftmarginFB=\skip46 \parindentFFN=\dimen105 \FBfnindent=\skip47 )) (/usr/share/texlive/texmf-dist/tex/latex/carlisle/scalefnt.sty) (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty Package: keyval 2014/10/28 v1.15 key=value parser (DPC) \KV@toks@=\toks17 ) (/usr/share/texlive/texmf-dist/tex/latex/bbm-macros/bbm.sty Package: bbm 1999/03/15 V 1.2 provides fonts for set symbols - TH LaTeX Font Info: Overwriting math alphabet `\mathbbm' in version `bold' (Font) U/bbm/m/n --> U/bbm/bx/n on input line 33. LaTeX Font Info: Overwriting math alphabet `\mathbbmss' in version `bold' (Font) U/bbmss/m/n --> U/bbmss/bx/n on input line 35. ) (/usr/share/texlive/texmf-dist/tex/latex/doublestroke/dsfont.sty Package: dsfont 1995/08/01 v0.1 Double stroke roman fonts ) (/usr/share/texlive/texmf-dist/tex/latex/psnfss/pifont.sty Package: pifont 2005/04/12 PSNFSS-v9.2a Pi font support (SPQR) LaTeX Font Info: Try loading font information for U+pzd on input line 63. (/usr/share/texlive/texmf-dist/tex/latex/psnfss/upzd.fd File: upzd.fd 2001/06/04 font definitions for U/pzd. ) LaTeX Font Info: Try loading font information for U+psy on input line 64. (/usr/share/texlive/texmf-dist/tex/latex/psnfss/upsy.fd File: upsy.fd 2001/06/04 font definitions for U/psy. )) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/eufrak.sty Package: eufrak 2009/06/22 v3.00 Euler Fraktur fonts LaTeX Font Info: Overwriting math alphabet `\EuFrak' in version `bold' (Font) U/euf/m/n --> U/euf/b/n on input line 39. ) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/eucal.sty Package: eucal 2009/06/22 v3.00 Euler Script fonts LaTeX Font Info: Overwriting math alphabet `\EuScript' in version `bold' (Font) U/eus/m/n --> U/eus/b/n on input line 33. ) (/usr/share/texlive/texmf-dist/tex/latex/jknapltx/mathrsfs.sty Package: mathrsfs 1996/01/01 Math RSFS package v1.0 (jk) \symrsfs=\mathgroup4 ) (/usr/share/texlive/texmf-dist/tex/latex/base/latexsym.sty Package: latexsym 1998/08/17 v2.2e Standard LaTeX package (lasy symbols) \symlasy=\mathgroup5 LaTeX Font Info: Overwriting symbol font `lasy' in version `bold' (Font) U/lasy/m/n --> U/lasy/b/n on input line 52. ) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty Package: graphicx 2017/06/01 v1.1a Enhanced LaTeX Graphics (DPC,SPQR) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty Package: graphics 2017/06/25 v1.2c Standard LaTeX Graphics (DPC,SPQR) (/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty Package: trig 2016/01/03 v1.10 sin cos tan (DPC) ) (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg File: graphics.cfg 2016/06/04 v1.11 sample graphics configuration ) Package graphics Info: Driver file: pdftex.def on input line 99. (/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def File: pdftex.def 2018/01/08 v1.0l Graphics/color driver for pdftex )) \Gin@req@height=\dimen106 \Gin@req@width=\dimen107 ) (/usr/share/texlive/texmf-dist/tex/latex/graphics/epsfig.sty Package: epsfig 2017/06/25 v1.7b (e)psfig emulation (SPQR) \epsfxsize=\dimen108 \epsfysize=\dimen109 ) (/usr/share/texlive/texmf-dist/tex/latex/base/makeidx.sty Package: makeidx 2014/09/29 v1.0m Standard LaTeX package ) (/usr/share/texlive/texmf-dist/tex/latex/graphics/color.sty Package: color 2016/07/10 v1.1e Standard LaTeX Color (DPC) (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg File: color.cfg 2016/01/02 v1.6 sample color configuration ) Package color Info: Driver file: pdftex.def on input line 147. ) (/usr/share/texlive/texmf-dist/tex/latex/graphics/rotating.sty Package: rotating 2016/08/11 v2.16d rotated objects in LaTeX (/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty Package: ifthen 2014/09/29 v1.1c Standard LaTeX ifthen package (DPC) ) \c@r@tfl@t=\count97 \rotFPtop=\skip48 \rotFPbot=\skip49 \rot@float@box=\box26 \rot@mess@toks=\toks18 ) (/usr/share/texlive/texmf-dist/tex/latex/multirow/multirow.sty Package: multirow 2016/11/25 v2.2 Span multiple rows of a table \multirow@colwidth=\skip50 \multirow@cntb=\count98 \multirow@dima=\skip51 \bigstrutjot=\dimen110 ) (/usr/share/texlive/texmf-dist/tex/latex/cancel/cancel.sty Package: cancel 2013/04/12 v2.2 Cancel math terms ) (/usr/share/texlive/texmf-dist/tex/latex/tools/bm.sty Package: bm 2017/01/16 v1.2c Bold Symbol Support (DPC/FMi) \symboldoperators=\mathgroup6 \symboldletters=\mathgroup7 \symboldsymbols=\mathgroup8 \symboldlasy=\mathgroup9 LaTeX Font Info: Redeclaring math alphabet \mathbf on input line 141. LaTeX Info: Redefining \bm on input line 207. ) (/usr/share/texlive/texmf-dist/tex/latex/tools/enumerate.sty Package: enumerate 2015/07/23 v3.00 enumerate extensions (DPC) \@enLab=\toks19 ) (/usr/share/texlive/texmf-dist/tex/generic/xypic/xy.sty (/usr/share/texlive/texmf-dist/tex/generic/xypic/xy.tex Bootstrap'ing: catcodes, docmode, (/usr/share/texlive/texmf-dist/tex/generic/xypic/xyrecat.tex ) (/usr/share/texlive/texmf-dist/tex/generic/xypic/xyidioms.tex) Xy-pic version 3.8.9 <2013/10/06> Copyright (c) 1991-2013 by Kristoffer H. Rose and others Xy-pic is free software: see the User's Guide for details. Loading kernel: messages; fonts; allocations: state, \X@c=\dimen111 \Y@c=\dimen112 \U@c=\dimen113 \D@c=\dimen114 \L@c=\dimen115 \R@c=\dimen116 \Edge@c=\toks20 \X@p=\dimen117 \Y@p=\dimen118 \U@p=\dimen119 \D@p=\dimen120 \L@p=\dimen121 \R@p=\dimen122 \Edge@p=\toks21 \X@origin=\dimen123 \Y@origin=\dimen124 \X@xbase=\dimen125 \Y@xbase=\dimen126 \X@ybase=\dimen127 \Y@ybase=\dimen128 \X@min=\dimen129 \Y@min=\dimen130 \X@max=\dimen131 \Y@max=\dimen132 \lastobjectbox@=\box27 \zerodotbox@=\box28 \almostz@=\dimen133 direction, \d@X=\dimen134 \d@Y=\dimen135 \K@=\count99 \KK@=\count100 \Direction=\count101 \K@dXdY=\dimen136 \K@dYdX=\dimen137 \xyread@=\read1 \xywrite@=\write3 \csp@=\count102 \quotPTK@=\dimen138 utility macros; pictures: \xy, positions, \swaptoks@@=\toks22 \connectobjectbox@@=\box29 objects, \styletoks@=\toks23 decorations; kernel objects: directionals, circles, text; options; algorithms: directions, edges, connections; Xy-pic loaded) (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifpdf.sty Package: ifpdf 2017/03/15 v3.2 Provides the ifpdf switch ) Package: xy 2013/10/06 Xy-pic version 3.8.9 (/usr/share/texlive/texmf-dist/tex/generic/xypic/xyall.tex Xy-pic option: All features v.3.8 (/usr/share/texlive/texmf-dist/tex/generic/xypic/xycurve.tex Xy-pic option: Curve and Spline extension v.3.12 curve, \crv@cnt@=\count103 \crvpts@=\toks24 \splinebox@=\box30 \splineval@=\dimen139 \splinedepth@=\dimen140 \splinetol@=\dimen141 \splinelength@=\dimen142 circles, \L@=\dimen143 loaded) (/usr/share/texlive/texmf-dist/tex/generic/xypic/xyframe.tex Xy-pic option: Frame and Bracket extension v.3.14 loaded) (/usr/share/texlive/texmf-dist/tex/generic/xypic/xycmtip.tex Xy-pic option: Computer Modern tip extension v.3.7 (/usr/share/texlive/texmf-dist/tex/generic/xypic/xytips.tex Xy-pic option: More Tips extension v.3.11 loaded) loaded) (/usr/share/texlive/texmf-dist/tex/generic/xypic/xyline.tex Xy-pic option: Line styles extension v.3.10 \xylinethick@=\dimen144 loaded) (/usr/share/texlive/texmf-dist/tex/generic/xypic/xyrotate.tex Xy-pic option: Rotate and Scale extension v.3.8 loaded) (/usr/share/texlive/texmf-dist/tex/generic/xypic/xycolor.tex Xy-pic option: Colour extension v.3.11 loaded) (/usr/share/texlive/texmf-dist/tex/generic/xypic/xymatrix.tex Xy-pic option: Matrix feature v.3.14 \Row=\count104 \Col=\count105 \queue@=\toks25 \queue@@=\toks26 \qcount@=\count106 \qcount@@=\count107 \matrixsize@=\count108 loaded) (/usr/share/texlive/texmf-dist/tex/generic/xypic/xyarrow.tex Xy-pic option: Arrow and Path feature v.3.9 path, \ar, loaded) (/usr/share/texlive/texmf-dist/tex/generic/xypic/xygraph.tex Xy-pic option: Graph feature v.3.11 loaded) loaded) (/usr/share/texlive/texmf-dist/tex/generic/xypic/xypdf.tex Xy-pic option: PDF driver v.1.7 Xy-pic pdf driver: `color' extension support (/usr/share/texlive/texmf-dist/tex/generic/xypic/xypdf-co.tex loaded) Xy-pic pdf driver: `curve' extension support (/usr/share/texlive/texmf-dist/tex/generic/xypic/xypdf-cu.tex loaded) Xy-pic pdf driver: `frame' extension support (/usr/share/texlive/texmf-dist/tex/generic/xypic/xypdf-fr.tex loaded) Xy-pic pdf driver: `line' extension support (/usr/share/texlive/texmf-dist/tex/generic/xypic/xypdf-li.tex loaded) Xy-pic pdf driver: `rotate' extension support (/usr/share/texlive/texmf-dist/tex/generic/xypic/xypdf-ro.tex loaded) loaded)) (/usr/share/texlive/texmf-dist/tex/generic/xypic/xy2cell.tex Xy-pic option: Two-cell feature v.3.7 two-cells, loaded) (/usr/share/texlive/texmf-dist/tex/generic/xypic/xyframe.tex Xy-pic option: Frame and Bracket extension v.3.14 not reloaded) \c@infra=\count109 \c@exo=\count110 \c@defi=\count111 \c@thm=\count112 \c@cor=\count113 \@indexfile=\write4 \openout4 = `constructibles.idx'. Writing index file constructibles.idx (/usr/share/texlive/texmf-dist/tex/latex/fancyhdr/fancyhdr.sty Package: fancyhdr 2017/06/30 v3.9a Extensive control of page headers and footer s \f@nch@headwidth=\skip52 \f@nch@O@elh=\skip53 \f@nch@O@erh=\skip54 \f@nch@O@olh=\skip55 \f@nch@O@orh=\skip56 \f@nch@O@elf=\skip57 \f@nch@O@erf=\skip58 \f@nch@O@olf=\skip59 \f@nch@O@orf=\skip60 ) (./constructibles.aux) \openout1 = `constructibles.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 443. LaTeX Font Info: ... okay on input line 443. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 443. LaTeX Font Info: ... okay on input line 443. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 443. LaTeX Font Info: ... okay on input line 443. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 443. LaTeX Font Info: ... okay on input line 443. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 443. LaTeX Font Info: ... okay on input line 443. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 443. LaTeX Font Info: ... okay on input line 443. LaTeX Info: Redefining \degres on input line 443. LaTeX Info: Redefining \dots on input line 443. Package french.ldf Info: Setting StandardEnumerateEnv=true for (french.ldf) compatibility with enumerate package, (french.ldf) reported on input line 443. LaTeX Info: Redefining \up on input line 443. (/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] \scratchcounter=\count114 \scratchdimen=\dimen145 \scratchbox=\box31 \nofMPsegments=\count115 \nofMParguments=\count116 \everyMPshowfont=\toks27 \MPscratchCnt=\count117 \MPscratchDim=\dimen146 \MPnumerator=\count118 \makeMPintoPDFobject=\count119 \everyMPtoPDFconversion=\toks28 ) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty Package: epstopdf-base 2016/05/15 v2.6 Base part for package epstopdf (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/infwarerr.sty Package: infwarerr 2016/05/16 v1.4 Providing info/warning/error messages (HO) ) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/grfext.sty Package: grfext 2016/05/16 v1.2 Manage graphics extensions (HO) (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/kvdefinekeys.sty Package: kvdefinekeys 2016/05/16 v1.4 Define keys (HO) (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ltxcmds.sty Package: ltxcmds 2016/05/16 v1.23 LaTeX kernel commands for general use (HO) ))) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty Package: kvoptions 2016/05/16 v3.12 Key value format for package options (HO) (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/kvsetkeys.sty Package: kvsetkeys 2016/05/16 v1.17 Key value parser (HO) (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/etexcmds.sty Package: etexcmds 2016/05/16 v1.6 Avoid name clashes with e-TeX commands (HO) (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifluatex.sty Package: ifluatex 2016/05/16 v1.4 Provides the ifluatex switch (HO) Package ifluatex Info: LuaTeX not detected. ) Package etexcmds Info: Could not find \expanded. (etexcmds) That can mean that you are not using pdfTeX 1.50 or (etexcmds) that some package has redefined \expanded. (etexcmds) In the latter case, load this package earlier. ))) (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/pdftexcmds.sty Package: pdftexcmds 2018/01/21 v0.26 Utility functions of pdfTeX for LuaTeX (HO ) Package pdftexcmds Info: LuaTeX not detected. Package pdftexcmds Info: \pdf@primitive is available. Package pdftexcmds Info: \pdf@ifprimitive is available. Package pdftexcmds Info: \pdfdraftmode found. ) Package epstopdf-base Info: Redefining graphics rule for `.eps' on input line 4 38. Package grfext Info: Graphics extension search list: (grfext) [.pdf,.png,.jpg,.mps,.jpeg,.jbig2,.jb2,.PDF,.PNG,.JPG,.JPE G,.JBIG2,.JB2,.eps] (grfext) \AppendGraphicsExtensions on input line 456. (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Liv e )) LaTeX Font Info: External font `cmex10' loaded for size (Font) <12> on input line 443. LaTeX Font Info: External font `cmex10' loaded for size (Font) <8> on input line 443. LaTeX Font Info: External font `cmex10' loaded for size (Font) <6> on input line 443. LaTeX Font Info: Try loading font information for U+rsfs on input line 443. (/usr/share/texlive/texmf-dist/tex/latex/jknapltx/ursfs.fd File: ursfs.fd 1998/03/24 rsfs font definition file (jk) ) LaTeX Font Info: Try loading font information for U+lasy on input line 443. (/usr/share/texlive/texmf-dist/tex/latex/base/ulasy.fd File: ulasy.fd 1998/08/17 v2.2e LaTeX symbol font definitions ) LaTeX Font Info: Font shape `U/lasy/b/n' in size <8> not available (Font) Font shape `U/lasy/m/n' tried instead on input line 443. LaTeX Font Info: Font shape `U/lasy/b/n' in size <6> not available (Font) Font shape `U/lasy/m/n' tried instead on input line 443. Package xypdf Info: Line width: 0.39998pt on input line 443. LaTeX Font Info: Try loading font information for U+dsrom on input line 449. (/usr/share/texlive/texmf-dist/tex/latex/doublestroke/Udsrom.fd File: Udsrom.fd 1995/08/01 v0.1 Double stroke roman font definitions ) LaTeX Font Info: Try loading font information for U+eus on input line 462. (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/ueus.fd File: ueus.fd 2013/01/14 v3.01 Euler Script ) Overfull \hbox (2.52933pt too wide) in paragraph at lines 484--485 []\T1/cmr/m/n/12 Donc pour tout $\OT1/cmr/m/n/12 1 \OMS/cmsy/m/n/12 ^^T \OML/cm m/m/it/12 j \OMS/cmsy/m/n/12 ^^T \OML/cmm/m/it/12 n$\T1/cmr/m/n/12 , $\OML/cmm/ m/it/12 K[]L[] \OT1/cmr/m/n/12 = \OML/cmm/m/it/12 K[]L[]\OT1/cmr/m/n/12 ([]) \O MS/cmsy/m/n/12 ) \OT1/cmr/m/n/12 [\OML/cmm/m/it/12 K[]L[] \OT1/cmr/m/n/12 : \OM L/cmm/m/it/12 K[]L[]\OT1/cmr/m/n/12 ] \OMS/cmsy/m/n/12 ^^T [] Package Fancyhdr Warning: \headheight is too small (12.0pt): Make it at least 14.49998pt. We now make it that large for the rest of the document. This may cause the page layout to be inconsistent, however. [1{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map} ] [2] (./constructibles.aux) ) Here is how much of TeX's memory you used: 6644 strings out of 492982 85834 string characters out of 6134896 208647 words of memory out of 5000000 10006 multiletter control sequences out of 15000+600000 15314 words of font info for 59 fonts, out of 8000000 for 9000 1141 hyphenation exceptions out of 8191 41i,12n,43p,3248b,423s stack positions out of 5000i,500n,10000p,200000b,80000s {/usr/share/texmf/fonts/enc/dvips/cm-super/cm-super-t1. enc} Output written on constructibles.pdf (2 pages, 145970 bytes). PDF statistics: 72 PDF objects out of 1000 (max. 8388607) 52 compressed objects within 1 object stream 0 named destinations out of 1000 (max. 500000) 1 words of extra memory for PDF output out of 10000 (max. 10000000)