Add Proposition initiale document

1 files changed, 231 insertions, 0 deletions

diff --git a/doc/Proposition initiale.fls b/doc/Proposition initiale.fls
new file mode 100644
index 0000000..db0d9c2
--- /dev/null
+++ b/doc/Proposition initiale.fls
@@ -0,0 +1,231 @@
+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