PWD /mnt/data/home/piernov/Documents/Cours/ADW/Projet INPUT /var/lib/texmf/web2c/luatex/lualatex.fmt INPUT ./Proposition initiale.tex OUTPUT Proposition initiale.log INPUT /usr/local/share/texmf/tex/latex/base/article.cls INPUT /usr/local/share/texmf/tex/latex/base/article.cls INPUT /usr/local/share/texmf/tex/latex/base/size10.clo INPUT /usr/local/share/texmf/tex/latex/base/size10.clo INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmr10.tfm INPUT /usr/share/texmf-dist/tex/lualatex/luatextra/luatextra.sty INPUT /usr/share/texmf-dist/tex/lualatex/luatextra/luatextra.sty INPUT /usr/share/texmf-dist/tex/generic/oberdiek/ifluatex.sty INPUT /usr/share/texmf-dist/tex/generic/oberdiek/ifluatex.sty INPUT /usr/local/share/texmf/tex/latex/fontspec/fontspec.sty INPUT /usr/local/share/texmf/tex/latex/fontspec/fontspec.sty INPUT /usr/local/share/texmf/tex/latex/l3kernel/expl3.sty INPUT /usr/local/share/texmf/tex/latex/l3kernel/expl3.sty INPUT /usr/local/share/texmf/tex/latex/l3kernel/expl3-code.tex INPUT /usr/local/share/texmf/tex/latex/l3kernel/expl3-code.tex INPUT /usr/local/share/texmf/tex/generic/unicode-data/UnicodeData.txt INPUT /usr/local/share/texmf/tex/generic/unicode-data/CaseFolding.txt INPUT /usr/local/share/texmf/tex/generic/unicode-data/SpecialCasing.txt INPUT /usr/local/share/texmf/tex/latex/l3kernel/l3pdfmode.def INPUT /usr/local/share/texmf/tex/latex/l3kernel/l3pdfmode.def INPUT /usr/local/share/texmf/tex/latex/l3packages/xparse/xparse.sty INPUT /usr/local/share/texmf/tex/latex/l3packages/xparse/xparse.sty INPUT /usr/local/share/texmf/tex/luatex/luaotfload/luaotfload.sty INPUT /usr/local/share/texmf/tex/luatex/luaotfload/luaotfload.sty INPUT /usr/local/share/texmf/tex/luatex/lualibs/lualibs-basic.lua INPUT /usr/local/share/texmf/tex/luatex/lualibs/lualibs-basic-merged.lua INPUT /usr/local/share/texmf/tex/luatex/lualibs/lualibs-compat.lua INPUT /usr/local/share/texmf/tex/luatex/lualibs/lualibs-extended.lua INPUT /usr/local/share/texmf/tex/luatex/lualibs/lualibs-extended-merged.lua OUTPUT /home/piernov/.texlive/texmf-var/m_t_x_t_e_s_t.tmp INPUT /usr/local/share/texmf/tex/latex/fontspec/fontspec-luatex.sty INPUT /usr/local/share/texmf/tex/latex/fontspec/fontspec-luatex.sty INPUT /usr/local/share/texmf/tex/latex/fontspec/tuenc.def INPUT /usr/local/share/texmf/tex/latex/base/fontenc.sty INPUT /usr/local/share/texmf/tex/latex/base/fontenc.sty INPUT /usr/share/texmf-dist/tex/latex/euenc/eu2enc.def INPUT /usr/share/texmf-dist/tex/latex/euenc/eu2enc.def INPUT /usr/share/texmf-dist/tex/latex/euenc/eu2lmr.fd INPUT /usr/share/texmf-dist/tex/latex/euenc/eu2lmr.fd INPUT /home/piernov/.texlive/texmf-var/luatex-cache/generic/names/luaotfload-names.luc INPUT /home/piernov/.texlive/texmf-var/luatex-cache/generic/fonts/otf/lmroman10-regular.luc INPUT /usr/share/texmf-dist/tex/xelatex/xunicode/xunicode.sty INPUT /usr/share/texmf-dist/tex/xelatex/xunicode/xunicode.sty INPUT /usr/share/texmf-dist/tex/latex/tipa/t3enc.def INPUT /home/piernov/.texlive/texmf-var/luatex-cache/generic/fonts/otf/lmromanslant10-regular.luc INPUT /home/piernov/.texlive/texmf-var/luatex-cache/generic/fonts/otf/lmroman10-italic.luc INPUT /home/piernov/.texlive/texmf-var/luatex-cache/generic/fonts/otf/lmroman10-bold.luc INPUT /usr/share/texmf-dist/tex/latex/euenc/eu2lmss.fd INPUT /usr/share/texmf-dist/tex/latex/euenc/eu2lmss.fd INPUT /home/piernov/.texlive/texmf-var/luatex-cache/generic/fonts/otf/lmsans10-regular.luc INPUT /usr/local/share/texmf/tex/latex/graphics/graphicx.sty INPUT /usr/local/share/texmf/tex/latex/graphics/graphicx.sty INPUT /usr/local/share/texmf/tex/latex/graphics/keyval.sty INPUT /usr/local/share/texmf/tex/latex/graphics/keyval.sty INPUT /usr/local/share/texmf/tex/latex/graphics/graphics.sty INPUT /usr/local/share/texmf/tex/latex/graphics/graphics.sty INPUT /usr/local/share/texmf/tex/latex/graphics/trig.sty INPUT /usr/local/share/texmf/tex/latex/graphics/trig.sty INPUT /usr/share/texmf-dist/tex/latex/latexconfig/graphics.cfg INPUT /usr/share/texmf-dist/tex/latex/latexconfig/graphics.cfg INPUT /usr/share/texmf-dist/tex/latex/pdftex-def/pdftex.def INPUT /usr/share/texmf-dist/tex/latex/pdftex-def/pdftex.def INPUT /usr/share/texmf-dist/tex/generic/oberdiek/infwarerr.sty INPUT /usr/share/texmf-dist/tex/generic/oberdiek/infwarerr.sty INPUT /usr/share/texmf-dist/tex/generic/oberdiek/ltxcmds.sty INPUT /usr/share/texmf-dist/tex/generic/oberdiek/ltxcmds.sty INPUT /usr/local/share/texmf/tex/latex/fontspec/fontspec.cfg INPUT /usr/local/share/texmf/tex/latex/fontspec/fontspec.cfg INPUT /usr/share/texmf-dist/tex/luatex/luatexbase/luatexbase.sty INPUT /usr/share/texmf-dist/tex/luatex/luatexbase/luatexbase.sty INPUT /usr/share/texmf-dist/tex/luatex/ctablestack/ctablestack.sty INPUT /usr/share/texmf-dist/tex/luatex/ctablestack/ctablestack.sty INPUT /usr/share/texmf-dist/tex/latex/metalogo/metalogo.sty INPUT /usr/share/texmf-dist/tex/latex/metalogo/metalogo.sty INPUT /usr/share/texmf-dist/tex/generic/ifxetex/ifxetex.sty INPUT /usr/share/texmf-dist/tex/generic/ifxetex/ifxetex.sty INPUT /usr/share/texmf-dist/tex/lualatex/luacode/luacode.sty INPUT /usr/share/texmf-dist/tex/lualatex/luacode/luacode.sty INPUT /usr/local/share/texmf/tex/latex/base/fixltx2e.sty INPUT /usr/local/share/texmf/tex/latex/base/fixltx2e.sty INPUT /usr/local/share/texmf/tex/latex/polyglossia/polyglossia.sty INPUT /usr/local/share/texmf/tex/latex/polyglossia/polyglossia.sty INPUT /usr/share/texmf-dist/tex/latex/etoolbox/etoolbox.sty INPUT /usr/share/texmf-dist/tex/latex/etoolbox/etoolbox.sty INPUT /usr/share/texmf-dist/tex/latex/makecmds/makecmds.sty INPUT /usr/share/texmf-dist/tex/latex/makecmds/makecmds.sty INPUT /usr/share/texmf-dist/tex/latex/xkeyval/xkeyval.sty INPUT /usr/share/texmf-dist/tex/latex/xkeyval/xkeyval.sty INPUT /usr/share/texmf-dist/tex/generic/xkeyval/xkeyval.tex INPUT /usr/share/texmf-dist/tex/generic/xkeyval/xkvutils.tex INPUT /usr/local/share/texmf/tex/generic/config/language.dat.lua INPUT /usr/local/share/texmf/tex/generic/config/language.dat.lua INPUT /usr/share/texmf-dist/tex/generic/ulem/ulem.sty INPUT /usr/share/texmf-dist/tex/generic/ulem/ulem.sty INPUT /usr/share/texmf-dist/fonts/tfm/public/latex-fonts/lasy6.tfm INPUT /usr/share/texmf-dist/tex/latex/framed/framed.sty INPUT /usr/share/texmf-dist/tex/latex/framed/framed.sty INPUT /usr/local/share/texmf/tex/latex/graphics/color.sty INPUT /usr/local/share/texmf/tex/latex/graphics/color.sty INPUT /usr/share/texmf-dist/tex/latex/latexconfig/color.cfg INPUT /usr/share/texmf-dist/tex/latex/latexconfig/color.cfg INPUT /usr/share/texmf-dist/tex/latex/listings/listings.sty INPUT /usr/share/texmf-dist/tex/latex/listings/listings.sty INPUT /usr/share/texmf-dist/tex/latex/listings/lstmisc.sty INPUT /usr/share/texmf-dist/tex/latex/listings/lstmisc.sty INPUT /usr/share/texmf-dist/tex/latex/listings/listings.cfg INPUT /usr/share/texmf-dist/tex/latex/listings/listings.cfg INPUT /usr/share/texmf-dist/tex/latex/geometry/geometry.sty INPUT /usr/share/texmf-dist/tex/latex/geometry/geometry.sty INPUT /usr/share/texmf-dist/tex/generic/oberdiek/ifpdf.sty INPUT /usr/share/texmf-dist/tex/generic/oberdiek/ifpdf.sty INPUT /usr/share/texmf-dist/tex/generic/oberdiek/ifvtex.sty INPUT /usr/share/texmf-dist/tex/generic/oberdiek/ifvtex.sty INPUT /usr/local/share/texmf/tex/latex/amsmath/amsmath.sty INPUT /usr/local/share/texmf/tex/latex/amsmath/amsmath.sty INPUT /usr/local/share/texmf/tex/latex/amsmath/amstext.sty INPUT /usr/local/share/texmf/tex/latex/amsmath/amstext.sty INPUT /usr/local/share/texmf/tex/latex/amsmath/amsgen.sty INPUT /usr/local/share/texmf/tex/latex/amsmath/amsgen.sty INPUT /usr/local/share/texmf/tex/latex/amsmath/amsbsy.sty INPUT /usr/local/share/texmf/tex/latex/amsmath/amsbsy.sty INPUT /usr/local/share/texmf/tex/latex/amsmath/amsopn.sty INPUT /usr/local/share/texmf/tex/latex/amsmath/amsopn.sty INPUT /usr/share/texmf-dist/tex/latex/unicode-math/unicode-math.sty INPUT /usr/share/texmf-dist/tex/latex/unicode-math/unicode-math.sty INPUT /usr/local/share/texmf/tex/latex/ucharcat/ucharcat.sty INPUT /usr/local/share/texmf/tex/latex/ucharcat/ucharcat.sty INPUT /usr/local/share/texmf/tex/latex/l3packages/l3keys2e/l3keys2e.sty INPUT /usr/local/share/texmf/tex/latex/l3packages/l3keys2e/l3keys2e.sty INPUT /usr/local/share/texmf/tex/latex/base/fix-cm.sty INPUT /usr/local/share/texmf/tex/latex/base/fix-cm.sty INPUT /usr/local/share/texmf/tex/latex/base/ts1enc.def INPUT /usr/local/share/texmf/tex/latex/base/ts1enc.def INPUT /usr/share/texmf-dist/tex/latex/filehook/filehook.sty INPUT /usr/share/texmf-dist/tex/latex/filehook/filehook.sty INPUT /usr/share/texmf-dist/tex/latex/unicode-math/unicode-math-luatex.sty INPUT /usr/share/texmf-dist/tex/latex/unicode-math/unicode-math-luatex.sty INPUT /usr/local/share/texmf/tex/lualatex/lualatex-math/lualatex-math.sty INPUT /usr/local/share/texmf/tex/lualatex/lualatex-math/lualatex-math.sty INPUT /usr/share/texmf-dist/tex/latex/unicode-math/unicode-math-table.tex INPUT /usr/share/texmf-dist/tex/latex/unicode-math/unicode-math-table.tex INPUT /usr/share/texmf-dist/tex/latex/hyperref/hyperref.sty INPUT /usr/share/texmf-dist/tex/latex/hyperref/hyperref.sty INPUT /usr/share/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty INPUT /usr/share/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty INPUT /usr/share/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty INPUT /usr/share/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty INPUT /usr/share/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty INPUT /usr/share/texmf-dist/scripts/oberdiek/oberdiek.luatex.lua INPUT /usr/share/texmf-dist/tex/latex/oberdiek/auxhook.sty INPUT /usr/share/texmf-dist/tex/latex/oberdiek/auxhook.sty INPUT /usr/share/texmf-dist/tex/latex/oberdiek/kvoptions.sty INPUT /usr/share/texmf-dist/tex/latex/oberdiek/kvoptions.sty INPUT /usr/share/texmf-dist/tex/latex/hyperref/pd1enc.def INPUT /usr/share/texmf-dist/tex/latex/hyperref/pd1enc.def INPUT /usr/share/texmf-dist/tex/latex/latexconfig/hyperref.cfg INPUT /usr/share/texmf-dist/tex/latex/latexconfig/hyperref.cfg INPUT /usr/share/texmf-dist/tex/latex/url/url.sty INPUT /usr/share/texmf-dist/tex/latex/url/url.sty INPUT /usr/share/texmf-dist/tex/latex/hyperref/hpdftex.def INPUT /usr/share/texmf-dist/tex/latex/hyperref/hpdftex.def INPUT /usr/share/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty INPUT /usr/share/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty INPUT /usr/share/texmf-dist/tex/latex/svg/svg.sty INPUT /usr/share/texmf-dist/tex/latex/svg/svg.sty INPUT /usr/share/texmf-dist/tex/latex/subfig/subfig.sty INPUT /usr/share/texmf-dist/tex/latex/subfig/subfig.sty INPUT /usr/local/share/texmf/tex/latex/caption/caption.sty INPUT /usr/local/share/texmf/tex/latex/caption/caption.sty INPUT /usr/local/share/texmf/tex/latex/caption/caption3.sty INPUT /usr/local/share/texmf/tex/latex/caption/caption3.sty INPUT /usr/share/texmf-dist/tex/latex/import/import.sty INPUT /usr/share/texmf-dist/tex/latex/import/import.sty INPUT /usr/share/texmf-dist/tex/latex/oberdiek/transparent.sty INPUT /usr/share/texmf-dist/tex/latex/oberdiek/transparent.sty INPUT /usr/share/texmf-dist/tex/latex/xcolor/xcolor.sty INPUT /usr/share/texmf-dist/tex/latex/xcolor/xcolor.sty INPUT /usr/share/texmf-dist/tex/latex/latexconfig/color.cfg INPUT /usr/share/texmf-dist/tex/latex/latexconfig/color.cfg INPUT /home/piernov/.texlive/texmf-var/luatex-cache/generic/fonts/otf/xits-math.luc INPUT /usr/local/share/texmf/tex/latex/polyglossia/gloss-french.ldf INPUT /usr/local/share/texmf/tex/latex/polyglossia/gloss-french.ldf INPUT /usr/local/share/texmf/tex/latex/polyglossia/gloss-french.ldf INPUT /usr/local/share/texmf/tex/generic/hyph-utf8/patterns/txt/hyph-fr.pat.txt INPUT /home/piernov/.texlive/texmf-var/luatex-cache/generic/names/luaotfload-lookup-cache.luc INPUT /home/piernov/.texlive/texmf-var/luatex-cache/generic/fonts/otf/lmroman10-bolditalic.luc INPUT /usr/share/texmf-dist/tex/latex/listings/lstlang1.sty INPUT /usr/share/texmf-dist/tex/latex/listings/lstlang1.sty INPUT /usr/share/texmf-dist/tex/latex/listings/lstlang1.sty INPUT /usr/share/texmf-dist/tex/latex/listings/lstlang1.sty INPUT ./Proposition initiale.aux INPUT ./Proposition initiale.aux INPUT /usr/local/share/texmf/tex/generic/hyph-utf8/patterns/txt/hyph-fr.pat.txt OUTPUT Proposition initiale.aux INPUT /usr/share/texmf-dist/tex/latex/tipa/t3cmr.fd INPUT /usr/share/texmf-dist/tex/latex/tipa/t3cmr.fd INPUT /usr/local/share/texmf/tex/context/base/supp-pdf.mkii INPUT /usr/local/share/texmf/tex/context/base/supp-pdf.mkii INPUT /usr/share/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty INPUT /usr/share/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty INPUT /usr/share/texmf-dist/tex/latex/oberdiek/grfext.sty INPUT /usr/share/texmf-dist/tex/latex/oberdiek/grfext.sty INPUT /usr/share/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg INPUT /usr/share/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg INPUT /usr/share/texmf-dist/tex/latex/hyperref/nameref.sty INPUT /usr/share/texmf-dist/tex/latex/hyperref/nameref.sty INPUT /usr/share/texmf-dist/tex/generic/oberdiek/gettitlestring.sty INPUT /usr/share/texmf-dist/tex/generic/oberdiek/gettitlestring.sty INPUT ./Proposition initiale.out INPUT ./Proposition initiale.out INPUT ./Proposition initiale.out INPUT ./Proposition initiale.out OUTPUT Proposition initiale.pdf OUTPUT Proposition initiale.out INPUT /usr/local/share/texmf/tex/generic/hyph-utf8/patterns/txt/hyph-fr.pat.txt INPUT /home/piernov/.texlive/texmf-var/luatex-cache/generic/fonts/otf/lmroman17-regular.luc INPUT /home/piernov/.texlive/texmf-var/luatex-cache/generic/fonts/otf/lmroman12-regular.luc INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmmi12.tfm INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm INPUT /home/piernov/.texlive/texmf-var/luatex-cache/generic/fonts/otf/lmroman12-bold.luc INPUT /home/piernov/.texlive/texmf-var/luatex-cache/generic/fonts/otf/lmroman9-regular.luc INPUT /usr/share/texmf-dist/tex/latex/euenc/eu2lmtt.fd INPUT /usr/share/texmf-dist/tex/latex/euenc/eu2lmtt.fd INPUT /home/piernov/.texlive/texmf-var/luatex-cache/generic/fonts/otf/lmmono9-regular.luc INPUT ./Proposition initiale.aux INPUT /usr/local/share/texmf/tex/generic/hyph-utf8/patterns/txt/hyph-fr.pat.txt