Merge branch 'doc' into piernov

1 files changed, 0 insertions, 209 deletions

diff --git a/doc/Proposition initiale.fls b/doc/Proposition initiale.fls
index db0d9c2..0dfe1db 100644
--- a/doc/Proposition initiale.fls
+++ b/doc/Proposition initiale.fls
@@ -20,212 +20,3 @@ 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